Activities space Dr. habil. Andreas Dolzmann
Conference Activities
  • ASCM 07
    Member of the Program Committee
  • CASC
    Member of the Program Committee
    2009, 2007, 2006, 2005, 2004, 2003, 2002, 2001
  • A3L 2005
    Program Committee Chair, Coinventor and Organizer
  • CASC 2003
    Local Organizer
  • Summer school on real algebraic geometry
    Organizer and lecturer for the application sessions
    Oct 06 to 10, 1997, Institute of Mathematics, Universität Potsdam, Potsdam, Germany
Research Groups
  • REDUCE Development Group
    Focus on Design and Implementation of Algorithms for Computing with First-Order-Formulas
    Since 1996
  • DFG-Einzelförderung (Grant of the German Research Foundation)
    Anwendungsorientierte Ausrichtung und Integration von Computeralgebra-Software
    (Application oriented design and integration of computer algebra systems)

    2000 to 2003
  • Fujitsu High Performance Computing Center
    Real Quantifier Elimination and Applications
    1997 to 2000
  • R.O.S.E Informatik
    Quantifier Elimination for automatic diagnostic systems
Research Visits
  • Reaction Equations in Atmosphere Chemistry
    Forschungszentrum Jülich
    March 1999, Jülich, Germany
  • Solving Scheduling Problems with Real Quantifier Elimination
    Fujitsu High Performance Computing Center
    July 1998, Kawasaki, Japan
  • Computational Quantifier Elimination, Stability, and Parallel Computing
    Maui High Performance Computing Center
    July 1997, Maui (HI), USA
  • Theoretical and Practical Aspects of Implementing Comprehensive Gröbner Basis
    Konrad-Zuse-Zentrum für Informationstechnik Berlin
    March 1997, Berlin, Germany
(c) A. Dolzmann Changed 2009-05-29 HTML 4.01 Tr. Impressum