Conferences in DBLP
Christoph M. Hoffmann , Bo Yuan On Spatial Constraint Solving Approaches. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:1-15 [Conf ] Xiao-Shan Gao , Lei-Dong Huang , Kun Jiang A Hybrid Method for Solving Geometric Constraint Problems. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:16-25 [Conf ] Fabrice Rouillier , Mohab Safey El Din , Éric Schost Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:26-40 [Conf ] Lu Yang , Ju Zhang A Practical Program of Automated Proving for a Class of Geometric Inequalities. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:41-57 [Conf ] Daniela Tulone , Chee-Keng Yap , Chen Li 0003 Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:58-82 [Conf ] Pasqualina Conti , Carlo Traverso Algebraic and Semialgebraic Proofs: Methods and Paradoxes. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:83-103 [Conf ] Laura Bazzotti , Giorgio Dalzotto , Lorenzo Robbiano Remarks on Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:104-128 [Conf ] Michael Bulmer , Desmond Fearnley-Sander , Timothy Stokes The Kinds of Truth of Geometry Theorems. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:129-142 [Conf ] Timothy Stokes , Michael Bulmer A Complex Change of Variables for Geometrical Reasoning. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:143-153 [Conf ] Philippe Aubry , Dongming Wang Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:154-174 [Conf ] Jürgen Bokowski Effective Methods in Computational Synthetic Geometry. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:175-192 [Conf ] Ulrich Kortenkamp , Jürgen Richter-Gebert Decision Complexity in Dynamic Geometry. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:193-198 [Conf ] Hongbo Li , Yihong Wu Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:199-227 [Conf ] Timothy F. Havel Qubit Logic, Algebra and Geometry. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:228-245 [Conf ] Jacques D. Fleuriot Nonstandard Geometric Proofs. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:246-267 [Conf ] Ricardo Caferra , Nicolas Peltier , François Puitg Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:268-305 [Conf ] Christophe Dehlinger , Jean-François Dufourd , Pascal Schreck Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:306-324 [Conf ]