Andreas Dolzmann

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 2

Top Venues

CoRR

SMT

J. Symb. Comput.

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Marek Kosta, Thomas Sturm, Andreas Dolzmann
Better answers to real questions. J. Symb. Comput. 74 (2016)
Marek Kosta, Thomas Sturm, Andreas Dolzmann
Better Answers to Real Questions. CoRR (2015)
Marek Kosta, Thomas Sturm, Andreas Dolzmann
Better Answers to Real Questions. SMT (2014)
Andreas Dolzmann, Volker Weispfenning
Multiple object semilinear motion planning. J. Symb. Comput. 42 (3) (2007)
Andreas Dolzmann, Thomas Sturm
Editorial. J. Symb. Comput. 41 (11) (2006)
Andreas Dolzmann, Lorenz A. Gilch
Generic Hermitian Quantifier Elimination. AISC (2004)
Andreas Dolzmann, Andreas Seidl, Thomas Sturm
Efficient projection orders for CAD. ISSAC (2004)
Andreas Dolzmann, Thomas Sturm
Parametric Systems of Linear Congruences. CASC (2001)
Andreas Dolzmann, Volker Weispfenning
Local quantifier elimination. ISSAC (2000)
Andreas Dolzmann
Algorithmische Strategien für anwendbare reelle Quantorenelimination. Ausgezeichnete Informatikdissertationen (2000)
Andreas Dolzmann, Thomas Sturm
P-adic Constraint Solving. ISSAC (1999)
Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
A New Approach for Automatic Theorem Proving in Real Geometry. J. Autom. Reason. 21 (3) (1998)
Andreas Dolzmann
Solving Geometric Problems with Real Quantifier Elimination. Automated Deduction in Geometry (1998)
Andreas Dolzmann, Oliver Gloor, Thomas Sturm
Approaches to Parallel Quantifier Elimination. ISSAC (1998)
Andreas Dolzmann, Thomas Sturm
Simplification of Quantifier-Free Formulae over Ordered Fields. J. Symb. Comput. 24 (2) (1997)
Andreas Dolzmann, Thomas Sturm
Guarded Expressions in Practice. ISSAC (1997)
Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
Real Quantifier Elimination in Practice. Algorithmic Algebra and Number Theory (1997)
Andreas Dolzmann, Thomas Sturm
REDLOG: computer algebra meets computer logic. SIGSAM Bull. 31 (2) (1997)

Andreas Dolzmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Dolzmann