Publications space Dr. habil. Andreas Dolzmann
Refereed Publications
  • Multiple object semilinear motion planning (with V. Weispfenning).
    Journal of Symbolic Computation, 42(3):324-337, March 2007.
    DOI: 10.1016/j.jsc.2006.11.001 -  PDF
     
  • Generic Hermitian quantifier elimination (with L. Gilch).
    In John A. Campbell and Bruno Buchberger, editors, Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, volume 3249 of Lecture Notes in Computer Science, pages 80-93. Springer-Verlag, Berlin, 2004.
    DOI: 10.1007/b100361 -  PDF  -  Preprint MIP-0408
     
  • Generalized constraint solving over differential algebras (with T. Sturm).
    In V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, editors, Computer Algebra in Scientific Computing. Proceedings of the CASC 2004 pages 111-125. Institut für Informatik, Technische Universität München, 2004.
    PDF  -  Preprint MIP-0406
     
  • Efficient projection orders for CAD (with A. Seidl, T. Sturm)
    In Jaime Gutierrez, editor, Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC 2004) pages 111-118, Santander, Spain, July 2004. ACM, ACM Press, New York, 1998.
    DOI: 10.1145/1005285.1005303 -  PDF  -  Preprint MIP-0401
     
  • REDLOG - first-order logic for the masses (with A. Seidl)
    Journal of Japan Society for Symbolic and Algebraic Computation 10(1):23-33, 2003.
    PDF
     
  • Parametric systems of linear congruences (with T. Sturm)
    In V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, editors, Computer Algebra in Scientific Computing. Proceedings of the CASC 2001, pages 149-166. Springer, Berlin, 2001.
    PDF  -  Preprint MIP-0101
     
  • Local quantifier elimination (V. Weispfenning)
    In Carlo Traverso, editor, Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC 2000), St Andrews, Scotland , pages 86-94. ACM Press, New York, NY, August 2000.
    DOI: 10.1145/345542.345589 -  PDF  -  Preprint MIP-0003
     
  • Solving geometric problems with real quantifier elimination
    In Xiao-Shan Gao, Dongming Wang, and Lu Yang, editors, Automated Deduction in Geometry , volume 1669 of Lecture Notes in Artificial Intelligence (Subseries of LNCS), pages 14-29. Springer-Verlag, Berlin Heidelberg, 1999.
    DOI: 10.1007/3-540-47997-X_2 -  PDF  -  Preprint MIP-9903
     
  • P-adic constraint solving (with T. Sturm)
    In Sam Dooley, editor, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC 99), Vancouver, BC pages 151-158. ACM Press, New York, NY, July 1999.
    DOI: 10.1145/309831.309894 -  PDF  -  Preprint MIP-9901
     
  • Approaches to parallel quantifier elimination (with O. Gloor, T. Sturm)
    In Oliver Gloor, editor, Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC 98) , pages 88-95, Rostock, Germany, August 1998. ACM, ACM Press, New York, 1998.
    DOI: 10.1145/281508.281564 -  PDF  -  Preprint MIP-9803
     
  • A new approach for automatic theorem proving in real geometry (with T. Sturm, V. Weispfenning)
    Journal of Automated Reasoning , 21(3):357-380, 1998.
    DOI: 10.1023/A:1006031329384 -  PDF  -  Prepint MIP-9611
     
  • Simplification of quantifier-free formulae over ordered fields (with T. Sturm)
    Journal of Symbolic Computation , 24(2):209-231, August 1997.
    DOI: 10.1006/jsco.1997.0123 -  PDF  -  Preprint MIP-9517
     
  • Guarded expressions in practice (with T. Sturm)
    In Wolfgang W. Küchlin, editor, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 97) , pages 376-383, Maui, HI, July 1997. ACM, ACM Press, New York, 1997.
    DOI: 10.1145/258726.258851 -  PDF  -  Preprint MIP-9702
     
Other Publications
  • Automatic theorem proving in geometry (with T. Sturm, V. Weispfenning)
    In Johannes Grabmeier, Erich Kaltofen, and Volker Weispfenning, editors, Computer Algebra Handbook, chapter 3.2.3, pages 201-207. Springer, Berlin, 2003.
    PDF
     
  • Algorithmische Strategien für anwendbare reelle Quantorenelimination
    In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2001, GI-Edition Lecture Notes in Informatics (LNI), pages 43-52. Bonner Köllen Verlag, 2001.
    PDF
     
  • Redlog User Manual Edition 2.0 for Version 2.0 (with T. Sturm)
    Technical Report MIP-9905, FMI, Universität Passau, D-94030 Passau, Germany, April 1999.
    PDF
     
  • Real quantifier elimination in practice (with T. Sturm, V. Weispfenning)
    In B. H. Matzat, G.-M. Greuel, and G. Hiss, editors, Algorithmic Algebra and Number Theory, pages 221-247. Springer, Berlin, 1998.
    PDF  -  Preprint MIP-9720
     
  • Redlog: Computer algebra meets computer logic (with T. Sturm)
    ACM SIGSAM Bulletin , 31(2):2-9, June 1997.
    DOI: 10.1145/261320.261324 -  PDF  - Preprint MIP-9603
     
  • Redlog User Manual Edition 1.0 for Version 1.0 (with T. Sturm)
    Technical Report MIP-9616 , FMI, Universität Passau, D-94030 Passau, Germany, October 1996.
    PDF
     
Editorial work
  • Special Issue on the Occasion of Volker Weispfenning's 60th Birthday (with T. Sturm)
    Journal of Symbolic Computation, 41(11):1155-1294, November 2006.
    DOI: 10.1016/j.jsc.2005.10.006  -  PDF
     
  • Algorithmic Algebra and Logic (with A. Seidl, T. Sturm)
    Proceedings of the A3L, April 3-5, 2005, Passau, Germany. Books on Demand GmbH, Norderstedt, 2005.
    Preview by Google
     
Theses
  • Integrated Quantifier Elimination
    Kumulative Habilitationschschrift , FMI, Universität Passau, D-94030 Passau, Februrary, 2006.
    PDF (Online version of the compendium)
     
  • Algorithmic Strategies for Applicable Real Quantifier Elimination
    Doctoral dissertation , Department of Mathematics and Computer Science. University of Passau, Germany, D-94030 Passau, Germany, July 2000.
    PDF  -  Publiction
     
  • Reelle Quantorenelimination durch parametrisches Zählen von Nullstellen
    Diploma thesis, Universität Passau, D-94030 Passau, Germany, November 1994.
    PDF
     
(c) A. Dolzmann Changed 2009-04-01 HTML 4.01 Tr. Impressum