aAutomated Deduction in Geometry
2002
- Algorithmic Tests for the Normal Crossing Propertyby: Gábor Bodnár
- Using Computer Algebra Tools to Classify Serial Manipulatorsby: Solen Corvez, Fabrice Rouillier
- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Methodby: Irina Tchoupaeva
- C1 Spline Implicitization of Planar Curvesby: Mohamed Shalaby, Bert Jüttler, Josef Schicho
- Distance Coordinates Used in Geometric Constraint Solvingby: Lu Yang
- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Provingby: Hongbo Li
- The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemesby: Hans-Gert Gräbe
- Function-Based Shape Modeling: Mathematical Framework and Specialized Languageby: Alexander A. Pasko, Valery Adzhiev
- MMP/Geometer - A Software Package for Automated Geometric Reasoningby: Xiao-Shan Gao, Qiang Lin
- A New Structural Rigidity for Geometric Constraint Systemsby: Christophe Jermann, Bertrand Neveu, Gilles Trombettoni
- The Nonsolvability by Radicals of Generic 3-connected Planar Graphsby: John C. Owen, Steve C. Power
- GEOTHER 1.1: Handling and Proving Geometric Theorems Automaticallyby: Dongming Wang
- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deductionby: XueFeng Chen, DingKang Wang
- Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Methodby: Hongbo Li, Yihong Wu
- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realizationby: Ricardo Caferra, Nicolas Peltier, François Puitg
- Algebraic and Semialgebraic Proofs: Methods and Paradoxesby: Pasqualina Conti, Carlo Traverso
- Nonstandard Geometric Proofsby: Jacques D. Fleuriot
- Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Provingby: Daniela Tulone, Chee-Keng Yap, Chen Li
- Decision Complexity in Dynamic Geometryby: Ulrich Kortenkamp, Jürgen Richter-Gebert
- A Complex Change of Variables for Geometrical Reasoningby: Timothy Stokes, Michael Bulmer
- Remarks on Geometric Theorem Provingby: Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano
- The Kinds of Truth of Geometry Theoremsby: Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes
- A Practical Program of Automated Proving for a Class of Geometric Inequalitiesby: Lu Yang, Ju Zhang
- Reasoning about Surfaces Using Differential Zero and Ideal Decompositionby: Philippe Aubry, Dongming Wang
- Effective Methods in Computational Synthetic Geometryby: Jürgen Bokowski
- A Hybrid Method for Solving Geometric Constraint Problemsby: Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang
- Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometryby: Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Studyby: Fabrice Rouillier, Mohab Safey El Din, Éric Schost
- Qubit Logic, Algebra and Geometryby: Timothy F. Havel
- On Spatial Constraint Solving Approachesby: Christoph M. Hoffmann, Bo Yuan
- Some Applications of Clifford Algebra to Geometriesby: Hongbo Li
- Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelleby: Jacques D. Fleuriot, Lawrence C. Paulson
- Automated Geometry Diagram Construction and Engineering Geometryby: Xiao-Shan Gao
- Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solvingby: Wu Wen-Tsün
- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reductionby: Jae Yeol Lee
- An Application of Automatic Theorem Proving in Computer Visionby: Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo
- Readable Machine Solving in Geometry and ICAI Software MSGby: Chuan-Zhong Li, Jing-Zhong Zhang
- Variant Geometry Analysis and Synthesis in Mechanical CADby: Zongying Ou, Jun Liu
- Decomposing Algebraic Varietiesby: Dongming Wang
- Solving Geometric Problems with Real Quantifier Eliminationby: Andreas Dolzmann
- Automated Discovering and Proving for Geometric Inequalitiesby: Lu Yang, Xiaorong Hou, Bican Xia
- A Clifford Algebraic Method for Geometric Reasoningby: Haiquan Yang, Shugong Zhang, Guochen Feng
- Clifford Term Rewriting for Geometric Reasoning in 3Dby: Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
- Plane Euclidian Reasoningby: Desmond Fearnley-Sander
- Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometriesby: Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
- Points on Algebraic Curves and the Parametrization Problemby: Erik Hillgarter, Franz Winkler
- Flat Central Configurations of Four Planet Motionsby: He Shi, Fengmei Zou
- Extended Dixon's Resultant and Its Applicationsby: Quoc-Nam Tran
- Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Visionby: Dongming Wang
- Probabilistic Verification of Elementary Geometry Statementsby: Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro
- Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Setsby: Deepak Kapur
- Area in Grassmann Geometryby: Desmond Fearnley-Sander, Timothy Stokes
- Computational Geometry Problems in REDLOGby: Thomas Sturm, Volker Weispfenning
- Integration of Reasoning and Algebraic Calculus in Geometryby: Stéphane Fèvre
- Computational Synthetic Geometry with Clifford Algebraby: Timothy F. Havel
![[SWISH++]](/docis/swish-powered.gif){kind=small}
