Andreas Dolzmann
Schloss Dagstuhl – Leibniz Center for Informatics(DE)
Publications by Year
Research Areas
Polynomial and algebraic computation, Numerical Methods and Algorithms, Advanced Numerical Analysis Techniques, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → REDLOG(1997)356 cited
- → Real Quantifier Elimination in Practice(1999)100 cited
- → Efficient projection orders for CAD(2004)93 cited
- → Simplification of Quantifier-free Formulae over Ordered Fields(1997)80 cited
- → A New Approach for Automatic Theorem Proving in Real Geometry(1998)75 cited
- → Guarded expressions in practice(1997)15 cited
- → Generic Hermitian Quantifier Elimination(2004)13 cited
- → P-adic constraint solving(1999)12 cited
- → Approaches to parallel quantifier elimination(1998)10 cited
- → Better answers to real questions(2015)9 cited