default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd ADG 2000: Zurich, Switzerland
- Jürgen Richter-Gebert, Dongming Wang:
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Lecture Notes in Computer Science 2061, Springer 2001, ISBN 3-540-42598-5 - Christoph M. Hoffmann, Bo Yuan:
On Spatial Constraint Solving Approaches. 1-15 - Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang:
A Hybrid Method for Solving Geometric Constraint Problems. 16-25 - Fabrice Rouillier, Mohab Safey El Din, Éric Schost:
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study. 26-40 - Lu Yang, Ju Zhang:
A Practical Program of Automated Proving for a Class of Geometric Inequalities. 41-57 - Daniela Tulone, Chee-Keng Yap, Chen Li:
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving. 58-82 - Pasqualina Conti, Carlo Traverso:
Algebraic and Semialgebraic Proofs: Methods and Paradoxes. 83-103 - Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano:
Remarks on Geometric Theorem Proving. 104-128 - Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes:
The Kinds of Truth of Geometry Theorems. 129-142 - Timothy Stokes, Michael Bulmer:
A Complex Change of Variables for Geometrical Reasoning. 143-153 - Philippe Aubry, Dongming Wang:
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. 154-174 - Jürgen Bokowski
:
Effective Methods in Computational Synthetic Geometry. 175-192 - Ulrich Kortenkamp, Jürgen Richter-Gebert:
Decision Complexity in Dynamic Geometry. 193-198 - Hongbo Li, Yihong Wu:
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. 199-227 - Timothy F. Havel:
Qubit Logic, Algebra and Geometry. 228-245 - Jacques D. Fleuriot:
Nonstandard Geometric Proofs. 246-267 - Ricardo Caferra, Nicolas Peltier, François Puitg:
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. 268-305 - Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck:
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. 306-324
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
