Conferences in DBLP

Automated Deduction in Geometry (ADG) (adg)
1998 (conf/adg/1998)

1. Wu Wen-Tsün
   Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:1-13 [Conf]
   
2. Andreas Dolzmann
   Solving Geometric Problems with Real Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:14-29 [Conf]
   
3. Lu Yang, Xiaorong Hou, Bican Xia
   Automated Discovering and Proving for Geometric Inequalities. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:30-46 [Conf]
   
4. Jacques D. Fleuriot, Lawrence C. Paulson
   Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:47-66 [Conf]
   
5. Chuan-Zhong Li, Jing-Zhong Zhang
   Readable Machine Solving in Geometry and ICAI Software MSG. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:67-85 [Conf]
   
6. Desmond Fearnley-Sander
   Plane Euclidian Reasoning. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:86-110 [Conf]
   
7. Haiquan Yang, Shugong Zhang, Guochen Feng
   A Clifford Algebraic Method for Geometric Reasoning. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:111-129 [Conf]
   
8. Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
   Clifford Term Rewriting for Geometric Reasoning in 3D. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:130-155 [Conf]
   
9. Hongbo Li
   Some Applications of Clifford Algebra to Geometries. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1998, pp:156-179 [Conf]
   
10. Dongming Wang
    Decomposing Algebraic Varieties. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:180-206 [Conf]
    
11. Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo
    An Application of Automatic Theorem Proving in Computer Vision. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:207-231 [Conf]
    
12. Xiao-Shan Gao
    Automated Geometry Diagram Construction and Engineering Geometry. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:232-257 [Conf]
    
13. Jae Yeol Lee
    A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:258-274 [Conf]
    
14. Zongying Ou, Jun Liu
    Variant Geometry Analysis and Synthesis in Mechanical CAD. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:275-286 [Conf]