|
П |
Local Quantifier Elimination |
2000 |
Dolzmann A., Weispfenning V. |
|
|
Univ.Passau |
Lecture Notes in Computer Science |
01.11.2000 |
|
П |
Redlog User Manual |
1999 |
Dolzmann A., Strum T. |
|
|
Univ.Passau |
|
24.03.2000 |
|
П |
P-adic Constraint Solving |
1999 |
Dolzmann A., Strum T. |
|
|
Univ.Passau |
|
13.01.2000 |
|
П |
Solving Geometric Problems with Real Quantifier Elimination |
1999 |
Dolzmann A. |
|
|
Univ.Passau |
|
13.01.2000 |
|
П |
Real Quantifier Elimination in Practice |
1997 |
Dolzmann A., Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
Approaches to Parallel Quantifier Elimination |
1998 |
Dolzmann A., Gloor O., Sturm Th. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
Guarded Expressions in Practice |
1997 |
Dolzmann A., Sturm Th. |
|
|
Univ.Passau |
|
05.11.1997 |
|
П |
A New Approach for Automatic Theorem Proving in Real Geometry |
1996 |
Dolzmann A., Strum Th. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
26.11.1996 |
|
П |
Computer Algebra Meets Computer Logic |
1996 |
Dolzmann A., Sturm Th. |
|
|
Univ.Passau |
|
23.05.1996 |
|
П |
Simplification of Quantifier-free Formulas over Ordered Fields |
1995 |
Dolzmann A., Sturm Th. |
|
|
Univ.Passau |
|
18.01.1996 |
