Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination Noriko HyodoMyunghoon HongHirokazu Anai OriginalPaper 11 September 2007 Pages: 497 - 512
Testing elementary function identities using CAD James C. BeaumontRussell J. BradfordNalina Phisanbut OriginalPaper 14 August 2007 Pages: 513 - 543
Weak quantifier elimination for the full linear theory of the integers Aless LasarukThomas Sturm OriginalPaper 11 October 2007 Pages: 545 - 574
Quantifier elimination supported proofs in the numerical treatment of fluid flows Richard LiskaPavel VĂ¡chal OriginalPaper 06 September 2007 Pages: 575 - 582
Parametrizing compactly supported orthonormal wavelets by discrete moments Georg Regensburger OriginalPaper 16 August 2007 Pages: 583 - 601
On systems of algebraic equations with parametric exponents II Kazuhiro Yokoyama OriginalPaper 25 August 2007 Pages: 603 - 630