Searching for authors named Volker Weispfenning – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Deciding Linear-Transcendental Problems
- …Deciding Linear-Transcendental Problems Volker Weispfenning Fakultat fur Mathematik und…
- Cited by 1 (0 self) – Add To MetaCart
-
Semilinear motion planning in REDLOG
- …Semilinear motion planning in redlog Volker Weispfenning Fakultat fur Mathematik und Informatik…
- Cited by 6 (1 self) – Add To MetaCart
-
Mixed Real-Integer Linear Quantifier Elimination
- …Mixed Real-Integer Linear Quantier Elimination Volker Weispfenning Fakultat fur Mathematik und…
- Cited by 15 (1 self) – Add To MetaCart
-
Complexity and uniformity of elimination in Presburger arithmetic
- …Complexity and Uniformity of Elimination in Presburger Arithmetic Volker Weispfenning Fakultat fur…
- Cited by 7 (3 self) – Add To MetaCart
-
Solving Parametric Polynomial Equations And Inequalities By Symbolic Algorithms
- …SOLVING PARAMETRIC POLYNOMIAL EQUATIONS AND INEQUALITIES BY SYMBOLIC ALGORITHMS VOLKER WEISPFENNING…
- Cited by 8 (1 self) – Add To MetaCart
-
Gröbner Bases for Binomials with Parametric Exponents
- …Grobner Bases for Binomials with Parametric Exponents Volker Weispfenning Fakultat fur Mathematik…
- Cited by 8 (0 self) – Add To MetaCart
-
Simulation and Optimization by Quantifier Elimination
- … VOLKER WEISPFENNING Lehrstuhl fur Mathematik, Universitat Passau, D-94030 Passau, Germany e…
- Cited by 16 (2 self) – Add To MetaCart
-
Quantifier Elimination for Real Algebra - the Cubic Case
- …Quantifier elimination for real algebra -- the cubic case Volker Weispfenning Universitat Passau…
- Cited by 19 (4 self) – Add To MetaCart
-
Parametric Linear and Quadratic Optimization by Elimination
- …Parametric Linear and Quadratic Optimization by Elimination Volker Weispfenning Universitat Passau…
- Cited by 21 (7 self) – Add To MetaCart
-
Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond
- …Quantifier elimination for real algebra - the quadratic case and beyond Volker Weispfenning…
- Cited by 27 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
