1. Editorial

   • Hirokazu Anai
   • Thomas Sturm

   OriginalPaper 17 October 2007 Pages: 495 - 496

2. Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination

   • Noriko Hyodo
   • Myunghoon Hong
   • Hirokazu Anai

   OriginalPaper 11 September 2007 Pages: 497 - 512

3. Testing elementary function identities using CAD

   • James C. Beaumont
   • Russell J. Bradford
   • Nalina Phisanbut

   OriginalPaper 14 August 2007 Pages: 513 - 543

4. Weak quantifier elimination for the full linear theory of the integers

   • Aless Lasaruk
   • Thomas Sturm

   OriginalPaper 11 October 2007 Pages: 545 - 574

5. Quantifier elimination supported proofs in the numerical treatment of fluid flows

   • Richard Liska
   • Pavel Váchal

   OriginalPaper 06 September 2007 Pages: 575 - 582

6. Parametrizing compactly supported orthonormal wavelets by discrete moments

   • Georg Regensburger

   OriginalPaper 16 August 2007 Pages: 583 - 601

7. On systems of algebraic equations with parametric exponents II

   • Kazuhiro Yokoyama

   OriginalPaper 25 August 2007 Pages: 603 - 630