 | 2007 |
|---|
| 12 |       | Andreas Dolzmann,
Volker Weispfenning:
Multiple object semilinear motion planning.
J. Symb. Comput. 42(3): 324-337 (2007) |
| 2006 |
|---|
| 11 | | Andreas Dolzmann,
Thomas Sturm:
Editorial.
J. Symb. Comput. 41(11): 1155-1156 (2006) |
| 2005 |
|---|
| 10 | | Andreas Dolzmann,
Andreas Seidl,
Thomas Sturm:
Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning.
Books on Demand 2005: i-xii, 1-558 |
| 2004 |
|---|
| 9 | | Andreas Dolzmann,
Lorenz A. Gilch:
Generic Hermitian Quantifier Elimination.
AISC 2004: 80-93 |
| 8 | | Andreas Dolzmann,
Andreas Seidl,
Thomas Sturm:
Efficient projection orders for CAD.
ISSAC 2004: 111-118 |
| 2000 |
|---|
| 7 | | Andreas Dolzmann,
Volker Weispfenning:
Local quantifier elimination.
ISSAC 2000: 86-94 |
| 1999 |
|---|
| 6 | | Andreas Dolzmann,
Thomas Sturm:
P-adic Constraint Solving.
ISSAC 1999: 151-158 |
| 1998 |
|---|
| 5 | | Andreas Dolzmann:
Solving Geometric Problems with Real Quantifier Elimination.
Automated Deduction in Geometry 1998: 14-29 |
| 4 | | Andreas Dolzmann,
Oliver Gloor,
Thomas Sturm:
Approaches to Parallel Quantifier Elimination.
ISSAC 1998: 88-95 |
| 3 | | Andreas Dolzmann,
Thomas Sturm,
Volker Weispfenning:
A New Approach for Automatic Theorem Proving in Real Geometry.
J. Autom. Reasoning 21(3): 357-380 (1998) |
| 1997 |
|---|
| 2 |  | Andreas Dolzmann,
Thomas Sturm:
Guarded Expressions in Practice.
ISSAC 1997: 376-383 |
| 1 | | Andreas Dolzmann,
Thomas Sturm:
Simplification of Quantifier-Free Formulae over Ordered Fields.
J. Symb. Comput. 24(2): 209-231 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page