The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Dolzmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andreas Dolzmann
    Solving Geometric Problems with Real Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:14-29 [Conf]
  2. Andreas Dolzmann, Lorenz A. Gilch
    Generic Hermitian Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:80-93 [Conf]
  3. Andreas Dolzmann, Oliver Gloor, Thomas Sturm
    Approaches to Parallel Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1998, pp:88-95 [Conf]
  4. Andreas Dolzmann, Thomas Sturm
    Guarded Expressions in Practice. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1997, pp:376-383 [Conf]
  5. Andreas Dolzmann, Thomas Sturm
    P-adic Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1999, pp:151-158 [Conf]
  6. Andreas Dolzmann, Andreas Seidl, Thomas Sturm
    Efficient projection orders for CAD. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:111-118 [Conf]
  7. Andreas Dolzmann, Volker Weispfenning
    Local quantifier elimination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:86-94 [Conf]
  8. Andreas Dolzmann, Thomas Sturm, Volker Weispfenning
    A New Approach for Automatic Theorem Proving in Real Geometry. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:3, pp:357-380 [Journal]
  9. Andreas Dolzmann, Thomas Sturm
    Simplification of Quantifier-Free Formulae over Ordered Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1997, v:24, n:2, pp:209-231 [Journal]
  10. Andreas Dolzmann, Thomas Sturm
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:11, pp:1155-1156 [Journal]
  11. Andreas Dolzmann, Volker Weispfenning
    Multiple object semilinear motion planning. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2007, v:42, n:3, pp:324-337 [Journal]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002