|
Journals in DBLP
Editorial. [Citation Graph (, )][DBLP]
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. [Citation Graph (, )][DBLP]
Testing elementary function identities using CAD. [Citation Graph (, )][DBLP]
Weak quantifier elimination for the full linear theory of the integers. [Citation Graph (, )][DBLP]
Quantifier elimination supported proofs in the numerical treatment of fluid flows. [Citation Graph (, )][DBLP]
Parametrizing compactly supported orthonormal wavelets by discrete moments. [Citation Graph (, )][DBLP]
On systems of algebraic equations with parametric exponents II. [Citation Graph (, )][DBLP]
|