"Invariance of Conjunctions of Polynomial Equalities for Algebraic ..."

Khalil Ghorbal, Andrew Sogokon, André Platzer (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics