Andreas Dolzmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1997–2004
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | AISC | Generic Hermitian Quantifier Elimination. | Andreas Dolzmann, Lorenz A. Gilch |
| 2004 | ISSAC | Efficient projection orders for CAD. | Andreas Dolzmann, Andreas Seidl, Thomas Sturm |
| 2001 | CASC | Parametric Systems of Linear Congruences. | Andreas Dolzmann, Thomas Sturm |
| 2000 | ISSAC | Local quantifier elimination. | Andreas Dolzmann, Volker Weispfenning |
| 1999 | ISSAC | P-adic Constraint Solving. | Andreas Dolzmann, Thomas Sturm |
| 1998 | ISSAC | Approaches to Parallel Quantifier Elimination. | Andreas Dolzmann, Oliver Gloor, Thomas Sturm |
| 1997 | ISSAC | Guarded Expressions in Practice. | Andreas Dolzmann, Thomas Sturm |