A new approach for automatic theorem proving in real geometry
From MaRDI portal
Publication:1272610
DOI10.1023/A:1006031329384zbMath0914.03013OpenAlexW1930661832MaRDI QIDQ1272610
Volker Weispfenning, Thomas Sturm, Andreas Dolzmann
Publication date: 11 April 1999
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1006031329384
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic ⋮ Rewriting input expressions in complex algebraic geometry provers ⋮ On the complexity of quantified linear systems ⋮ Better answers to real questions ⋮ Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Multiple object semilinear motion planning ⋮ A complexity perspective on entailment of parameterized linear constraints ⋮ Analyzing restricted fragments of the theory of linear arithmetic ⋮ Algorithmic global criteria for excluding oscillations ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology ⋮ Real World Verification ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems ⋮ Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. ⋮ Linear problems in valued fields
Uses Software
This page was built for publication: A new approach for automatic theorem proving in real geometry
