|
П |
Local Quantifier Elimination |
2000 |
Dolzmann A., Weispfenning V. |
|
|
Univ.Passau |
Lecture Notes in Computer Science |
01.11.2000 |
|
П |
Deciding Linear-Transcendental Problems |
2000 |
Weispfenning V. |
|
|
Univ.Passau |
|
01.11.2000 |
|
П |
Deciding Linear-Trigonometric Problems |
2000 |
Anai H., Weispfenning V. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
28.10.2000 |
|
П |
Mixed Real-Integer Linear Quantifier Elimination |
1999 |
Weispfenning V. |
|
|
Univ.Passau |
|
13.01.2000 |
|
П |
Semilinear Motion Planning in REDLOG |
1999 |
Weispfenning V. |
|
|
Univ.Passau |
|
13.01.2000 |
|
П |
Real Quantifier Elimination in Practice |
1997 |
Dolzmann A., Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
An Algebraic Approach to Offsetting and Blending of Solids |
1998 |
Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
08.07.1998 |
|
П |
Computational Geometry Problems in REDLOG |
1997 |
Sturm Th., Weispfenning V. |
|
|
Univ.Passau |
|
05.11.1997 |
|
П |
Complexity and Uniformity of Elimination in Presburger Arithmetic |
1997 |
Weispfenning V. |
|
|
Univ.Passau |
|
22.05.1997 |
|
П |
Applying Quantifier Elimination to Problems in Simulation and Optimization |
1996 |
Weispfenning V. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
26.11.1996 |
|
П |
Parametric Mixed Integer Programming by Elimination |
1995 |
Weispfenning V., Xue R. |
|
|
Univ.Passau |
|
05.07.1995 |
|
П |
Solving Parametric Polynomial Equations and Inequalities by Symbolic Algorithms |
1995 |
Weispfenning V. |
|
|
Univ.Passau |
|
05.07.1995 |
|
П |
Parametric Linear and Quadratic Optimization by Elimination |
1994 |
Weispfenning V. |
|
|
Univ.Passau |
|
18.11.1994 |
|
П |
A New Approach to Quantifier Elimination for Real Algebra |
1993 |
Weispfenning V. |
|
|
Univ.Passau |
|
25.12.1993 |
|
П |
Differential-Term Orders |
1992 |
Weispfenning V. |
|
|
Univ.Passau |
|
22.04.1993 |
|
П |
The Chinese Remainder Problem, Multivariate Interpolation, and Grobner Bases |
1991 |
Becker T., Weispfenning V. |
|
|
Univ.Passau |
|
24.09.1991 |
|
П |
Parametric Grobner Bases For Non-Commutative Polynomials |
1990 |
Kredel H., Weispfenning V. |
|
|
Univ.Passau |
|
23.04.1991 |
