×

Weispfenning, Volker

Author ID: weispfenning.volker Recent zbMATH articles by "Weispfenning, Volker"
Published as: Weispfenning, Volker; Weispfenning, V.
External Links: MGP · Wikidata · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 1,002 times in 758 Documents Cited by Year
Gröbner bases: a computational approach to commutative algebra. In cooperation with Heinz Kredel. Zbl 0772.13010
Becker, Thomas; Weispfenning, Volker
280
1993
Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010
Kandri-Rody, A.; Weispfenning, Volker
107
1990
Comprehensive Gröbner bases. Zbl 0784.13013
Weispfenning, Volker
78
1992
The complexity of linear problems in fields. Zbl 0646.03005
Weispfenning, Volker
65
1988
Quantifier elimination for real algebra – the quadratic case and beyond. Zbl 0867.03003
Weispfenning, V.
59
1997
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
58
1993
Real quantifier elimination in practice. Zbl 0934.68130
Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker
26
1999
Lattice-ordered groups. Advances and techniques. Zbl 0705.06001
25
1989
A new approach to quantifier elimination for real algebra. Zbl 0900.03046
Weispfenning, V.
23
1998
Admissible orders and linear forms. Zbl 0655.13017
Weispfenning, Volker
23
1987
Model-completeness and elimination of quantifiers for subdirect products of structures. Zbl 0318.02052
Weispfenning, Volker
17
1975
A new approach for automatic theorem proving in real geometry. Zbl 0914.03013
Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker
16
1998
Quantifier elimination for real algebra – the cubic case. Zbl 0919.03030
Weispfenning, Volker
16
1994
Simulation and optimization by quantifier elimination. Zbl 0883.68075
Weispfenning, Volker
15
1997
Computing dimension and independent sets for polynomial ideals. Zbl 0665.68024
Kredel, Heinz; Weispfenning, Volker
14
1988
Elimination of quantifiers for certain ordered and lattice-ordered abelian groups. Zbl 0499.03012
Weispfenning, Volker
14
1981
Reach set computations using real quantifier elimination. Zbl 0991.93008
Anai, Hirokazu; Weispfenning, Volker
14
2002
Computer algebra handbook. Foundations, applications, systems. With CD-ROM, demo versions. Zbl 1017.68162
14
2003
Canonical comprehensive Gröbner bases. Zbl 1054.13015
Weispfenning, Volker
13
2003
Deciding polynomial-exponential problems. Zbl 1236.68301
Achatz, Melanie; McCallum, Scott; Weispfenning, Volker
12
2008
Finite Gröbner bases in non-Noetherian skew polynomial rings. Zbl 0925.16018
Weispfenning, V.
12
1992
A note on \(\aleph_0\)-categorical model-companions. Zbl 0408.03024
Weispfenning, Volker
12
1978
The Chinese remainder problem, multivariate interpolation, and Gröbner bases. Zbl 0925.13013
Becker, Thomas; Weispfenning, Volker
11
1991
On the elementary theory of Hensel fields. Zbl 0347.02033
Weispfenning, Volker
11
1976
Gröbner bases for polynomial ideals over commutative regular rings. Zbl 1209.13036
Weispfenning, Volker
10
1989
Complexity and uniformity of elimination in Presburger arithmetic. Zbl 0915.03032
Weispfenning, Volker
10
1997
Quantifier elimination and decision procedures for valued fields. Zbl 0584.03022
Weispfenning, Volker
9
1984
Deciding polynomial-transcendental problems. Zbl 1243.03015
McCallum, Scott; Weispfenning, Volker
8
2012
The complexity of almost linear diophantine problems. Zbl 0716.68050
Weispfenning, Volker
7
1990
Existential equivalence of ordered abelian groups with parameters. Zbl 0702.03013
Weispfenning, Volker
7
1990
Canonical comprehensive Gröbner bases. Zbl 1072.68702
Weispfenning, Volker
7
2002
Solving numerical constraints. Zbl 1011.68127
Bockmayr, Alexander; Weispfenning, Volker
6
2001
Model theory of lattice products. Zbl 0718.03029
Weispfenning, Volker
5
1978
Computational geometry problems in REDLOG. Zbl 0904.65151
Sturm, Thomas; Weispfenning, Volker
5
1998
Constructing universal Gröbner bases. Zbl 0695.13002
Weispfenning, Volker
5
1989
Quantifier eliminable ordered Abelian groups. Zbl 0631.06010
Weispfenning, Volker
4
1986
Reach set computations using real quantifier elimination. Zbl 0985.68755
Anai, Hirokazu; Weispfenning, Volker
4
2001
Commutative regular rings without prime model extensions. Zbl 0308.02057
Saracino, D.; Weispfenning, Volker
4
1975
The complexity of the word problem for abelian l-groups. Zbl 0633.03036
Weispfenning, Volker
3
1986
Differential term-orders. Zbl 0925.13015
Weispfenning, Volker
3
1993
Semilinear motion planning in REDLOG. Zbl 1003.65015
Weispfenning, Volker
3
2001
On algebraic curves over commutative regular rings. Zbl 0318.13032
Saracino, D.; Weispfenning, Volker
3
1975
Negative-existentially complete structures and definability in free extensions. Zbl 0335.02035
Weispfenning, Volker
3
1976
Comprehensive Gröbner bases and regular rings. Zbl 1121.13036
Weispfenning, Volker
3
2006
Nullstellensätze - A model theoretic framework. Zbl 0384.03018
Weispfenning, Volker
3
1977
Deciding linear-transcendental problems. Zbl 0974.03010
Weispfenning, Volker
2
2000
On the number of term orders. Zbl 0739.06008
Ritter, Gunter; Weispfenning, Volker
1
1991
Some bounds for the construction of Gröbner bases. Zbl 0655.13018
Weispfenning, Volker
1
1988
Existentially closed semilattices. Zbl 0604.06004
Weispfenning, Volker
1
1985
Efficient decision algorithms for locally finite theories. Zbl 0622.03010
Weispfenning, Volker
1
1986
Aspects of quantifier elimination in algebra. Zbl 0575.03019
Weispfenning, Volker
1
1984
The model-theoretic significance of complemented existential formulas. Zbl 0502.03017
Weispfenning, Volker
1
1981
Model theory and lattices of formulas. Zbl 0519.03032
Weispfenning, Volker
1
1982
Quantifier elimination for distributive lattices and measure algebras. Zbl 0547.03026
Weispfenning, Volker
1
1985
Local quantifier elimination. Zbl 1326.68350
Dolzmann, Andreas; Weispfenning, Volker
1
2000
Infinitary model-theoretic properties of \(\kappa\)-saturated structures. Zbl 0301.02048
Weispfenning, Volker
1
1973
Semilinear motion planning among moving objects in REDLOG. Zbl 1021.68110
Weispfenning, Volker
1
2001
Lattice products. Zbl 0461.03004
Weispfenning, Volker
1
1979
Two model theoretic proofs of Rückert’s Nullstellensatz. Zbl 0293.02043
Weispfenning, Volker
1
1975
Deciding polynomial-transcendental problems. Zbl 1243.03015
McCallum, Scott; Weispfenning, Volker
8
2012
Deciding polynomial-exponential problems. Zbl 1236.68301
Achatz, Melanie; McCallum, Scott; Weispfenning, Volker
12
2008
Comprehensive Gröbner bases and regular rings. Zbl 1121.13036
Weispfenning, Volker
3
2006
Computer algebra handbook. Foundations, applications, systems. With CD-ROM, demo versions. Zbl 1017.68162
14
2003
Canonical comprehensive Gröbner bases. Zbl 1054.13015
Weispfenning, Volker
13
2003
Reach set computations using real quantifier elimination. Zbl 0991.93008
Anai, Hirokazu; Weispfenning, Volker
14
2002
Canonical comprehensive Gröbner bases. Zbl 1072.68702
Weispfenning, Volker
7
2002
Solving numerical constraints. Zbl 1011.68127
Bockmayr, Alexander; Weispfenning, Volker
6
2001
Reach set computations using real quantifier elimination. Zbl 0985.68755
Anai, Hirokazu; Weispfenning, Volker
4
2001
Semilinear motion planning in REDLOG. Zbl 1003.65015
Weispfenning, Volker
3
2001
Semilinear motion planning among moving objects in REDLOG. Zbl 1021.68110
Weispfenning, Volker
1
2001
Deciding linear-transcendental problems. Zbl 0974.03010
Weispfenning, Volker
2
2000
Local quantifier elimination. Zbl 1326.68350
Dolzmann, Andreas; Weispfenning, Volker
1
2000
Real quantifier elimination in practice. Zbl 0934.68130
Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker
26
1999
A new approach to quantifier elimination for real algebra. Zbl 0900.03046
Weispfenning, V.
23
1998
A new approach for automatic theorem proving in real geometry. Zbl 0914.03013
Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker
16
1998
Computational geometry problems in REDLOG. Zbl 0904.65151
Sturm, Thomas; Weispfenning, Volker
5
1998
Quantifier elimination for real algebra – the quadratic case and beyond. Zbl 0867.03003
Weispfenning, V.
59
1997
Simulation and optimization by quantifier elimination. Zbl 0883.68075
Weispfenning, Volker
15
1997
Complexity and uniformity of elimination in Presburger arithmetic. Zbl 0915.03032
Weispfenning, Volker
10
1997
Quantifier elimination for real algebra – the cubic case. Zbl 0919.03030
Weispfenning, Volker
16
1994
Gröbner bases: a computational approach to commutative algebra. In cooperation with Heinz Kredel. Zbl 0772.13010
Becker, Thomas; Weispfenning, Volker
280
1993
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
58
1993
Differential term-orders. Zbl 0925.13015
Weispfenning, Volker
3
1993
Comprehensive Gröbner bases. Zbl 0784.13013
Weispfenning, Volker
78
1992
Finite Gröbner bases in non-Noetherian skew polynomial rings. Zbl 0925.16018
Weispfenning, V.
12
1992
The Chinese remainder problem, multivariate interpolation, and Gröbner bases. Zbl 0925.13013
Becker, Thomas; Weispfenning, Volker
11
1991
On the number of term orders. Zbl 0739.06008
Ritter, Gunter; Weispfenning, Volker
1
1991
Non-commutative Gröbner bases in algebras of solvable type. Zbl 0715.16010
Kandri-Rody, A.; Weispfenning, Volker
107
1990
The complexity of almost linear diophantine problems. Zbl 0716.68050
Weispfenning, Volker
7
1990
Existential equivalence of ordered abelian groups with parameters. Zbl 0702.03013
Weispfenning, Volker
7
1990
Lattice-ordered groups. Advances and techniques. Zbl 0705.06001
25
1989
Gröbner bases for polynomial ideals over commutative regular rings. Zbl 1209.13036
Weispfenning, Volker
10
1989
Constructing universal Gröbner bases. Zbl 0695.13002
Weispfenning, Volker
5
1989
The complexity of linear problems in fields. Zbl 0646.03005
Weispfenning, Volker
65
1988
Computing dimension and independent sets for polynomial ideals. Zbl 0665.68024
Kredel, Heinz; Weispfenning, Volker
14
1988
Some bounds for the construction of Gröbner bases. Zbl 0655.13018
Weispfenning, Volker
1
1988
Admissible orders and linear forms. Zbl 0655.13017
Weispfenning, Volker
23
1987
Quantifier eliminable ordered Abelian groups. Zbl 0631.06010
Weispfenning, Volker
4
1986
The complexity of the word problem for abelian l-groups. Zbl 0633.03036
Weispfenning, Volker
3
1986
Efficient decision algorithms for locally finite theories. Zbl 0622.03010
Weispfenning, Volker
1
1986
Existentially closed semilattices. Zbl 0604.06004
Weispfenning, Volker
1
1985
Quantifier elimination for distributive lattices and measure algebras. Zbl 0547.03026
Weispfenning, Volker
1
1985
Quantifier elimination and decision procedures for valued fields. Zbl 0584.03022
Weispfenning, Volker
9
1984
Aspects of quantifier elimination in algebra. Zbl 0575.03019
Weispfenning, Volker
1
1984
Model theory and lattices of formulas. Zbl 0519.03032
Weispfenning, Volker
1
1982
Elimination of quantifiers for certain ordered and lattice-ordered abelian groups. Zbl 0499.03012
Weispfenning, Volker
14
1981
The model-theoretic significance of complemented existential formulas. Zbl 0502.03017
Weispfenning, Volker
1
1981
Lattice products. Zbl 0461.03004
Weispfenning, Volker
1
1979
A note on \(\aleph_0\)-categorical model-companions. Zbl 0408.03024
Weispfenning, Volker
12
1978
Model theory of lattice products. Zbl 0718.03029
Weispfenning, Volker
5
1978
Nullstellensätze - A model theoretic framework. Zbl 0384.03018
Weispfenning, Volker
3
1977
On the elementary theory of Hensel fields. Zbl 0347.02033
Weispfenning, Volker
11
1976
Negative-existentially complete structures and definability in free extensions. Zbl 0335.02035
Weispfenning, Volker
3
1976
Model-completeness and elimination of quantifiers for subdirect products of structures. Zbl 0318.02052
Weispfenning, Volker
17
1975
Commutative regular rings without prime model extensions. Zbl 0308.02057
Saracino, D.; Weispfenning, Volker
4
1975
On algebraic curves over commutative regular rings. Zbl 0318.13032
Saracino, D.; Weispfenning, Volker
3
1975
Two model theoretic proofs of Rückert’s Nullstellensatz. Zbl 0293.02043
Weispfenning, Volker
1
1975
Infinitary model-theoretic properties of \(\kappa\)-saturated structures. Zbl 0301.02048
Weispfenning, Volker
1
1973
all top 5

Cited by 1,035 Authors

19 Sturm, Thomas
16 Hashemi, Amir
12 Seiler, Werner M.
12 Weispfenning, Volker
11 Liu, Jinwang
11 Mora, Teo
11 Weber, Andreas Günter
10 Gerdt, Vladimir Petrovich
10 Scowcroft, Philip
9 Ábrahám, Erika
8 Kapur, Deepak
8 Li, Dongmei
8 Li, Huishi
8 M.-Alizadeh, Benyamin
7 Davenport, James Harold
7 Faugère, Jean-Charles
7 Levandovskyy, Viktor
7 Reyes, Armando
7 Subramani, Krishnan
7 Sun, Yao
7 Wang, Dingkang
7 Xia, Bican
6 Anai, Hirokazu
6 Ceria, Michela
6 Cimatti, Alessandro
6 England, Matthew
6 Göbel, Manfred
6 Grigor’ev, Dmitriĭ Yur’evich
6 Hubert, Evelyne
6 Kremer, Gereon
6 Nabeshima, Katsusuke
5 Eirinakis, Pavlos
5 Gómez Torrecillas, José
5 Hong, Hoon
5 Kredel, Heinz
5 Montes, Antonio
5 Platzer, André
5 Sato, Yosuke
5 Tajima, Shinichi
5 Wang, Dongming
5 Wojciechowski, Piotr J.
5 Yokoyama, Kazuhiro
5 Yu, Zhiheng
5 Zhang, Weinian
4 Apel, Joachim
4 Aschenbrenner, Matthias
4 Basarab, Serban A.
4 Brown, Christopher W.
4 Clarke, Edmund Melson jun.
4 Dehghani Darmian, Mahdi
4 Eaves, B. Curtis
4 El Kahoui, M’hammed
4 Fitzpatrick, Patrick
4 Hemmecke, Ralf
4 Inoue, Shutaro
4 Koppenhagen, Ulla
4 Koutschan, Christoph
4 Li, Zhibin
4 Liu, Weijun
4 Lobillo, Francisco Javier
4 Macintyre, Angus John
4 Mayr, Ernst W.
4 Paulson, Lawrence Charles
4 Quadrat, Alban
4 Recio, Tomas
4 Reynolds, Andrew
4 Rothblum, Uriel George
4 Schicho, Josef
4 Stückrad, Jürgen
4 Sturmfels, Bernd
4 Suárez, Héctor
4 Tinelli, Cesare
4 Wang, Mingsheng
4 Xu, Ming
4 Zhang, Shugong
3 Agnarsson, Geir
3 Akbarpour, Behzad
3 Barrett, Clark W.
3 Bastl, Bohumír
3 Becker, Thomas M.
3 Blinkov, Yuri A.
3 Bodnár, Gábor
3 Bokut, Leonid A.
3 Bromberger, Martin
3 Buchberger, Bruno
3 Carra’Ferro, Giuseppa
3 Chen, Mingshuai
3 Clemente, Lorenzo
3 Corzilius, Florian
3 de Graaf, Willem Adriaan
3 Derakhshan, Jamshid
3 Disch, Stefan
3 Errami, Hassan
3 Fukasaku, Ryoya
3 García García, Juan Ignacio
3 Gateva-Ivanova, Tatiana
3 Gazor, Majid
3 Greuel, Gert-Martin
3 Griggio, Alberto
3 Ioakimidis, Nikolaos Ioakim
...and 935 more Authors
all top 5

Cited in 186 Serials

141 Journal of Symbolic Computation
27 Applicable Algebra in Engineering, Communication and Computing
25 Journal of Pure and Applied Algebra
23 Theoretical Computer Science
21 Journal of Algebra
18 Mathematics in Computer Science
17 Communications in Algebra
17 Transactions of the American Mathematical Society
16 Annals of Pure and Applied Logic
15 Journal of Systems Science and Complexity
13 Formal Methods in System Design
11 The Journal of Symbolic Logic
10 Mathematics of Computation
10 Journal of Automated Reasoning
9 Mathematics and Computers in Simulation
8 Algebra Universalis
8 Designs, Codes and Cryptography
7 Journal of Mathematical Sciences (New York)
6 Discrete Applied Mathematics
6 Programming and Computer Software
6 Information and Computation
6 Linear Algebra and its Applications
6 Archive for Mathematical Logic
6 Annals of Mathematics and Artificial Intelligence
5 Science China. Mathematics
4 Proceedings of the American Mathematical Society
4 Discrete & Computational Geometry
4 Mathematical Logic Quarterly (MLQ)
3 Computer Physics Communications
3 Information Processing Letters
3 Israel Journal of Mathematics
3 Manuscripta Mathematica
3 Order
3 Journal of Complexity
3 Japan Journal of Industrial and Applied Mathematics
3 Journal of Algebraic Combinatorics
3 Advances in Applied Clifford Algebras
3 Qualitative Theory of Dynamical Systems
3 Foundations of Computational Mathematics
2 Artificial Intelligence
2 Computers & Mathematics with Applications
2 Bulletin of Mathematical Biology
2 Advances in Mathematics
2 Applied Mathematics and Computation
2 Czechoslovak Mathematical Journal
2 Journal of Computational and Applied Mathematics
2 Mathematische Zeitschrift
2 Notre Dame Journal of Formal Logic
2 Proceedings of the Edinburgh Mathematical Society. Series II
2 Results in Mathematics
2 Studia Logica
2 Tôhoku Mathematical Journal. Second Series
2 European Journal of Combinatorics
2 Advances in Applied Mathematics
2 Systems & Control Letters
2 Computer Aided Geometric Design
2 Journal of Computer Science and Technology
2 Revista Matemática Iberoamericana
2 Journal of the American Mathematical Society
2 Mathematical and Computer Modelling
2 MCSS. Mathematics of Control, Signals, and Systems
2 Science in China. Series A
2 Multidimensional Systems and Signal Processing
2 Journal of Global Optimization
2 Expositiones Mathematicae
2 Mathematical Programming. Series A. Series B
2 Cybernetics and Systems Analysis
2 St. Petersburg Mathematical Journal
2 Bulletin des Sciences Mathématiques
2 Constraints
2 European Journal of Control
2 Living Reviews in Relativity
2 Journal of Applied Mathematics
2 Algebra and Discrete Mathematics
2 Journal of Algebra and its Applications
2 Logical Methods in Computer Science
2 Nonlinear Analysis. Hybrid Systems
2 ACM Communications in Computer Algebra
1 Acta Informatica
1 Acta Mechanica
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Communications in Mathematical Physics
1 Discrete Mathematics
1 International Journal of Control
1 International Journal of Systems Science
1 Journal d’Analyse Mathématique
1 Journal of Computational Physics
1 Journal of Mathematical Biology
1 Journal of Statistical Physics
1 Linear and Multilinear Algebra
1 Metrika
1 Moscow University Mathematics Bulletin
1 Problems of Information Transmission
1 Rocky Mountain Journal of Mathematics
1 Theoretical and Mathematical Physics
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 Chaos, Solitons and Fractals
1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
1 Annals of the Institute of Statistical Mathematics
1 The Annals of Statistics
...and 86 more Serials
all top 5

Cited in 54 Fields

354 Computer science (68-XX)
295 Commutative algebra (13-XX)
148 Mathematical logic and foundations (03-XX)
94 Algebraic geometry (14-XX)
79 Associative rings and algebras (16-XX)
72 Field theory and polynomials (12-XX)
59 Numerical analysis (65-XX)
38 Order, lattices, ordered algebraic structures (06-XX)
36 Number theory (11-XX)
36 Systems theory; control (93-XX)
35 Operations research, mathematical programming (90-XX)
34 Information and communication theory, circuits (94-XX)
31 Ordinary differential equations (34-XX)
20 Group theory and generalizations (20-XX)
20 Biology and other natural sciences (92-XX)
19 Combinatorics (05-XX)
18 Linear and multilinear algebra; matrix theory (15-XX)
18 Nonassociative rings and algebras (17-XX)
15 Dynamical systems and ergodic theory (37-XX)
14 Several complex variables and analytic spaces (32-XX)
13 Partial differential equations (35-XX)
10 Real functions (26-XX)
9 Difference and functional equations (39-XX)
9 Convex and discrete geometry (52-XX)
8 Approximations and expansions (41-XX)
8 Quantum theory (81-XX)
7 General algebraic systems (08-XX)
6 Special functions (33-XX)
6 Geometry (51-XX)
6 Manifolds and cell complexes (57-XX)
5 Category theory; homological algebra (18-XX)
4 Functions of a complex variable (30-XX)
4 Functional analysis (46-XX)
4 General topology (54-XX)
4 Statistics (62-XX)
4 Mechanics of particles and systems (70-XX)
3 General and overarching topics; collections (00-XX)
3 Operator theory (47-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Mechanics of deformable solids (74-XX)
3 Fluid mechanics (76-XX)
3 Relativity and gravitational theory (83-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Topological groups, Lie groups (22-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Differential geometry (53-XX)
2 Algebraic topology (55-XX)
1 \(K\)-theory (19-XX)
1 Sequences, series, summability (40-XX)
1 Integral equations (45-XX)
1 Probability theory and stochastic processes (60-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.