Björner, N.2022-03-022022-03-022014978-1-4799-3035-7978-1-4799-3037-1https://publica.fraunhofer.de/handle/publica/15661415th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013. Proceedings