Andreas Dolzmann

J. Symb. Comput., 2016

2007

Multiple object semilinear motion planning.

[BibT_eX]

[DOI]

J. Symb. Comput., 2007

2006

Editorial.

[BibT_eX]

[DOI]

J. Symb. Comput., 2006

2004

Efficient projection orders for CAD.

[BibT_eX]

[DOI]

Andreas Seidl

Proceedings of the Symbolic and Algebraic Computation, 2004

Generic Hermitian Quantifier Elimination.

[BibT_eX]

[DOI]

Lorenz A. Gilch

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2001

Parametric Systems of Linear Congruences.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 2001

2000

Algorithmic strategies for applicable real quantifier elimination.

[BibT_eX]

[DOI]

PhD thesis, 2000

Local quantifier elimination.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

Algorithmische Strategien für anwendbare reelle Quantorenelimination.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2000, 2000

1999

P-adic Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

A New Approach for Automatic Theorem Proving in Real Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

Approaches to Parallel Quantifier Elimination.

[BibT_eX]

[DOI]

Oliver Gloor

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

Solving Geometric Problems with Real Quantifier Elimination.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1998

1997

Simplification of Quantifier-Free Formulae over Ordered Fields.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

REDLOG: computer algebra meets computer logic.

[BibT_eX]

[DOI]

SIGSAM Bull., 1997

Guarded Expressions in Practice.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

Real Quantifier Elimination in Practice.

[BibT_eX]

[DOI]