"1st International Workshop on Symbolic and Numerical Methods for ..."

Sergiy Bogomolov, Ashish Tiwari (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics