Volker Weispfenning

Affiliations:

University of Passau, Germany

According to our database¹, Volker Weispfenning authored at least 51 papers between 1976 and 2012.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2012

Deciding polynomial-transcendental problems.

[BibT_eX]

[DOI]

Scott McCallum

Volker Weispfenning

J. Symb. Comput., 2012

2008

Deciding polynomial-exponential problems.

[BibT_eX]

[DOI]

Melanie Achatz

Scott McCallum

Volker Weispfenning

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Multiple object semilinear motion planning.

[BibT_eX]

[DOI]

Andreas Dolzmann

Volker Weispfenning

J. Symb. Comput., 2007

Robust Stability for Parametric Linear ODEs.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006

Comprehensive Gröbner bases and regular rings.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 2006

2005

Solving Linear Differential Problems with Parameters.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

Model Theory of Lattice Products.

[BibT_eX]

Volker Weispfenning

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

Solving Constraints by Elimination Methods.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Canonical comprehensive Gröbner bases.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 2003

2001

Semilinear Motion Planning in REDLOG.

[BibT_eX]

[DOI]

Volker Weispfenning

Appl. Algebra Eng. Commun. Comput., 2001

Reach Set Computations Using Real Quantifier Elimination.

[BibT_eX]

[DOI]

Hirokazu Anai

Volker Weispfenning

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Semilinear Motion Planning Among Moving Objects in REDLOG.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Computer Algebra in Scientific Computing, 2001

Solving Numerical Constraints.

[BibT_eX]

[DOI]

Alexander Bockmayr

Volker Weispfenning

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Deciding linear-exponential problems.

[BibT_eX]

[DOI]

Volker Weispfenning

SIGSAM Bull., 2000

Local quantifier elimination.

[BibT_eX]

[DOI]

Andreas Dolzmann

Volker Weispfenning

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

Deciding linear-trigonometric problems.

[BibT_eX]

[DOI]

Hirokazu Anai

Volker Weispfenning

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

Mixed Real-Integer Linear Quantifier Elimination.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

A New Approach for Automatic Theorem Proving in Real Geometry.

[BibT_eX]

[DOI]

Andreas Dolzmann

Thomas Sturm

Volker Weispfenning

J. Autom. Reason., 1998

1997

Simulation and Optimization by Quantifier Elimination.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 1997

Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.

[BibT_eX]

[DOI]

Volker Weispfenning

Appl. Algebra Eng. Commun. Comput., 1997

Complexity and Uniformity of Elimination in Presburger Arithmetic.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

Real Quantifier Elimination in Practice.

[BibT_eX]

[DOI]

Andreas Dolzmann

Thomas Sturm

Volker Weispfenning

Proceedings of the Algorithmic Algebra and Number Theory, 1997

1996

Computational Geometry Problems in REDLOG.

[BibT_eX]

[DOI]

Thomas Sturm

Volker Weispfenning

Proceedings of the Automated Deduction in Geometry, 1996

1994

Quantifier Elimination for Real Algebra - the Cubic Case.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1993

Applying Linear Quantifier Elimination.

[BibT_eX]

[DOI]

Rüdiger Loos

Volker Weispfenning

Comput. J., 1993

Differential Term-Orders.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993

Gröbner bases - a computational approach to commutative algebra.

[BibT_eX]

Thomas Becker

Volker Weispfenning

Heinz Kredel

Graduate texts in mathematics 141, Springer, ISBN: 978-3-540-97971-5, 1993

1992

Comprehensive Gröbner Bases.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 1992

Finite Gröbner Bases in Non-Noetherian Skew Polynomial Rings.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1991

On the Number of Term Orders.

[BibT_eX]

[DOI]

Gunter Ritter

Volker Weispfenning

Appl. Algebra Eng. Commun. Comput., 1991

The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases.

[BibT_eX]

[DOI]

Thomas Becker

Volker Weispfenning

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

The Complexity of Almost Linear Diophantine Problems.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 1990

Non-Commutative Gröbner Bases in Algebras of Solvable Type.

[BibT_eX]

[DOI]

Abdelilah Kandri-Rody

Volker Weispfenning

J. Symb. Comput., 1990

Existential equivalence of ordered abelian groups with parameters.

[BibT_eX]

[DOI]

Volker Weispfenning

Arch. Math. Log., 1990

1988

The Complexity of Linear Problems in Fields.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 1988

Computing Dimension and Independent Sets for Polynomial Ideals.

[BibT_eX]

[DOI]

Heinz Kredel

Volker Weispfenning

J. Symb. Comput., 1988

Efficient Decision Procedures for Locally Finite Theories II.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Symbolic and Algebraic Computation, 1988

1987

Admissible orders and linear forms.

[BibT_eX]

[DOI]

Volker Weispfenning

SIGSAM Bull., 1987

Gröbner bases for polynomial ideals over commutative regular rings.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the EUROCAL '87, 1987

Constructing Universal Groebner Bases.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Applied Algebra, 1987

1986

The Complexity of the Word Problem for Abelian l-Groups.

[BibT_eX]

[DOI]

Volker Weispfenning

Theor. Comput. Sci., 1986

Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Some Bounds for the Construction of Gröbner Bases.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Applied Algebra, 1986

1985

Quantifier Elimination for Distributive Lattices and Measure Algebras.

[BibT_eX]

[DOI]

Volker Weispfenning

Math. Log. Q., 1985

Quantifier elimination for modules.

[BibT_eX]

[DOI]

Volker Weispfenning

Arch. Math. Log., 1985

The Complexity of Elementary Problems in Archimedean Ordered Groups.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the EUROCAL '85, 1985

Efficient Decision Algorithms for Locally Finite Theories.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Algebraic Algorithms and Error-Correcting Codes, 1985

1981

The Model-Theoretic Significance of Complemented Existential Formulas.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Log., 1981

1978

A note on ℵ<sub>0</sub>-categorical model-companions.

[BibT_eX]

[DOI]

Volker Weispfenning

Arch. Math. Log., 1978

1977

Nullstellensätze - A Model Theoretic Framework.

[BibT_eX]

[DOI]

Volker Weispfenning

Math. Log. Q., 1977

1976

Negative-Existentially Complete Structures and Definability in Free Extensions.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Log., 1976

Volker Weispfenning

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...