Real Quantifier Elimination in Practice. - Andreas Dolzmann; Thomas Sturm 001; Volker Weispfenning (Algorithmic Algebra and Number Theory, 1997)

Guarded Expressions in Practice. - Andreas Dolzmann; Thomas Sturm 001 (ISSAC, 1997)

REDLOG: computer algebra meets computer logic. - Andreas Dolzmann; Thomas Sturm 001 (SIGSAM Bull., 1997)

Simplification of Quantifier-Free Formulae over Ordered Fields. - Andreas Dolzmann; Thomas Sturm 001 (J. Symb. Comput., 1997)

Solving Geometric Problems with Real Quantifier Elimination. - Andreas Dolzmann (Automated Deduction in Geometry, 1998)

Approaches to Parallel Quantifier Elimination. - Andreas Dolzmann; Oliver Gloor; Thomas Sturm 001 (ISSAC, 1998)

A New Approach for Automatic Theorem Proving in Real Geometry. - Andreas Dolzmann; Thomas Sturm 001; Volker Weispfenning (J. Autom. Reason., 1998)

P-adic Constraint Solving. - Andreas Dolzmann; Thomas Sturm 001 (ISSAC, 1999)

Algorithmische Strategien für anwendbare reelle Quantorenelimination. - Andreas Dolzmann (Ausgezeichnete Informatikdissertationen, 2000)

Local quantifier elimination. - Andreas Dolzmann; Volker Weispfenning (ISSAC, 2000)

Algorithmic strategies for applicable real quantifier elimination. - Andreas Dolzmann (2000)

Parametric Systems of Linear Congruences. - Andreas Dolzmann; Thomas Sturm 001 (CASC, 2001)

Generic Hermitian Quantifier Elimination. - Andreas Dolzmann; Lorenz A. Gilch (AISC, 2004)

Efficient projection orders for CAD. - Andreas Dolzmann; Andreas Seidl; Thomas Sturm 001 (ISSAC, 2004)

Editorial. - Andreas Dolzmann; Thomas Sturm 001 (J. Symb. Comput., 2006)

Multiple object semilinear motion planning. - Andreas Dolzmann; Volker Weispfenning (J. Symb. Comput., 2007)

Better answers to real questions. - Marek Kosta; Thomas Sturm 001; Andreas Dolzmann (J. Symb. Comput., 2016)