| |
|
|
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
1995
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
|
|
Dr. habil. Andreas Dolzmann