dblp.uni-trier.dewww.uni-trier.de

Andreas Dolzmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
11EEAndreas Dolzmann, Volker Weispfenning: Multiple object semilinear motion planning. J. Symb. Comput. 42(3): 324-337 (2007)
2006
10EEAndreas Dolzmann, Thomas Sturm: Editorial. J. Symb. Comput. 41(11): 1155-1156 (2006)
2004
9EEAndreas Dolzmann, Lorenz A. Gilch: Generic Hermitian Quantifier Elimination. AISC 2004: 80-93
8EEAndreas Dolzmann, Andreas Seidl, Thomas Sturm: Efficient projection orders for CAD. ISSAC 2004: 111-118
2000
7EEAndreas Dolzmann, Volker Weispfenning: Local quantifier elimination. ISSAC 2000: 86-94
1999
6EEAndreas Dolzmann, Thomas Sturm: P-adic Constraint Solving. ISSAC 1999: 151-158
1998
5EEAndreas Dolzmann: Solving Geometric Problems with Real Quantifier Elimination. Automated Deduction in Geometry 1998: 14-29
4EEAndreas 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)

Coauthor Index

1Lorenz A. Gilch [9]
2Oliver Gloor [4]
3Andreas Seidl [8]
4Thomas Sturm [1] [2] [3] [4] [6] [8] [10]
5Volker Weispfenning [3] [7] [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)