TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dr. Andreas Dolzmann

Aufgabengebiete

  • Mitglied im Wissenschaftlichen Stab
  • Leitung des Bereichs "Seminare und Workshops"
  • Lietung der Geschäftsstelle in Saarbrücken

Lebenslauf

Andreas Dolzmann hat an der Universität Passau Informatik studiert und das Studium 1995 mit dem Diplom abgeschlossen. Danach war er am Lehrstuhl für Computer Algebra wissenschaftlicher Mitarbeiter und promovierte mit seiner Arbeit "Applicable Real Quantifier Elimination" zum Dr. rer. nat. im Jahr 2000. Als wissenschaftlicher Assistent forschte an der Uni Passau weiter und habilitierte sich 2006 mit seiner Arbeit "Integrated Quantifier Elimination". Als akademischer Oberassitent und Privatdozent forschte er bis 2009 weiter an der Universität Passau.

Seit 2010 arbeitet Andreas Dolzmann im Wissenschaftlichen Stab von Schloss Dagstuhl. Seit 2018 leitet er dort die Geschäftstelle und seit 2021 leitet er den Bereich "Seminare und Workshops". 

Ausgewählte Forschungsbeiträge

Fast alle meiner Publikationen werden in der dblp gelistet.

  • REDLOG Team; computer algebra meets computer logic; An extension of the computer algebra system REDUCE for working with first-order logic.
    https://www.redlog.eu/
  • Marek Kosta, Thomas Sturm, Andreas Dolzmann; Better answers to real questions; J. Symb. Comput; 74: 255-275 (2016).
    https://doi.org/10.1016/j.jsc.2015.07.002
  • Andreas Dolzmann, Andreas Seidl, Thomas Sturm; Efficient projection orders for CAD; Jaime Gutierrez, editor, Proceedings of the ISSAC 2004; pages 111-118; Santander, Spain; July 2004; ACM Press, New York, 2004.
    https://doi.org/10.1145/1005285.1005303
  •  Andreas Dolzmann, Thomas Sturm; Parametric systems of linear congruences; 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.
    https://doi.org/10.1007/978-3-642-56666-0_12
  • Andreas Dolzmann, Thomas Sturm; Simplification of quantifier-free formulae over ordered fields; J. Symb. Comput; 24(2):209-231; August 1997.
    https://doi.org/10.1006/jsco.1997.0123
AD
Dr. Andreas Dolzmann

andreas.dolzmann@dagstuhl.de


Seminarbetreuung

Leiter Bereich "Seminarwesen"


Kontakt Dagstuhl Seminars

Kontakt Sommerschule


Geschäftsstelle

Geschäftsstelle Schloss Dagstuhl
Universität des Saarlandes
Campus E1 1, Räume U13-U24
66123 Saarbrücken, Germany

+49 6871 / 905 204