You have Guest access.
Log In
Volume 1 / 1990 - Volume 22 / 2011
495-496
Editorial Special issue on parametric and nonconvex constraint solving
Hirokazu Anai and Thomas Sturm
497-512
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination A MATLAB toolbox for parametric control system design
Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara and Hirokazu Anai
513-543
Testing elementary function identities using CAD
James C. Beaumont, Russell J. Bradford, James H. Davenport and Nalina Phisanbut
545-574
Weak quantifier elimination for the full linear theory of the integers A uniform generalization of Presburger arithmetic
Aless Lasaruk and Thomas Sturm
575-582
Quantifier elimination supported proofs in the numerical treatment of fluid flows
Richard Liska and Pavel Váchal
583-601
Parametrizing compactly supported orthonormal wavelets by discrete moments
Georg Regensburger
603-630
On systems of algebraic equations with parametric exponents II
Kazuhiro Yokoyama
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info