Weispfenning, Volker, 1944-....
Weispfenning, Volker
Weispfenning, V.
Volker Weispfenning
Weispfenning, Volker (Volker B.), 1944-
VIAF ID: 49312814 ( Personal )
Permalink: http://viaf.org/viaf/49312814
Preferred Forms
- 100 0 _ ‡a Volker Weispfenning
- 200 _ | ‡a Weispfenning ‡b Volker ‡f 1944-....
- 100 1 _ ‡a Weispfenning, V.
- 100 1 _ ‡a Weispfenning, Volker
-
-
-
-
- 100 1 _ ‡a Weispfenning, Volker ‡d 1944-
-
-
- 100 1 0 ‡a Weispfenning, Volker, ‡d 1944-
-
- 100 1 _ ‡a Weispfenning, Volker, ‡d 1944-....
4xx's: Alternate Name Forms (22)
Works
Title | Sources |
---|---|
algebraic approach to offsetting and blending of solids | |
Algorithmic algebra and logic proceedings of the A3L 2005, April 3 - 6, Passau, Germany ; Conference in Honor of the 60th Birthday of Volker Weispfenning | |
Applying quantifier elimination to problems in simulation and optimization | |
Canonical comprehensive Gröbner bases | |
The Chinese remainder problem, multivariate interpolation and Gröbner bases | |
Complexity and uniformity of elimination in Presburger arithmetic | |
complexity of almost linear diophantine problems | |
Computational geometry problems in REDLOG | |
Computer algebra handbook : foundations, applications, systems | |
Computing dimemsion and independent sets for polynomial ideals | |
Constructing universal Gröbner bases | |
Deciding linear transcendental problems | |
Differential term orders | |
Efficient decision procedures for locally finite theories | |
Elementary theories of valued fields | |
Existential equivalence of ordered abelian groups with parameters | |
Gröbner bases : a computational approach to commutative algebra | |
Gröbner bases / Thomas Becker, Volker Weispfenning. - New York, 1993. | |
Mixed real-integer linear quantifier elimination extended version | |
Model theory and algebra : a memorial tribute to Abraham Robinson | |
Model theory and algebra / edited by D. Saracino and V. B. Weispfenning. - Berlin, 1975. | |
Model theory of lattice products | |
A new approach to quantifier elimination for real algebra | |
Non-commutative Groebner bases in algebras of solvable type | |
On the number of term orders | |
P-adic root isolation | |
Parametric Gröbner bases for non-commutative polynomials | |
Parametric linear and quadratric optimization by elimination | |
Parametric mixed integer programming by elimination | |
Semilinear motion planning in REDLOG | |
Solving parametric polynomial equations and inequalities by symbolic algorithms | |
Solving univariate p-adic constraints | |
Symbolic rewriting techniques |