Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations.

Khalil Ghorbal, Andrew Sogokon, Andr Platzer

Browse the full SAS paper archive.