Conferences in DBLP

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

1. Deepak Kapur
   Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:1-36 [Conf]
   
2. Quoc-Nam Tran
   Extended Dixon's Resultant and Its Applications. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:37-57 [Conf]
   
3. Thomas Sturm, Volker Weispfenning
   Computational Geometry Problems in REDLOG. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:58-86 [Conf]
   
4. Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro
   Probabilistic Verification of Elementary Geometry Statements. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:87-101 [Conf]
   
5. Timothy F. Havel
   Computational Synthetic Geometry with Clifford Algebra. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:102-114 [Conf]
   
6. Dongming Wang
   Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:115-140 [Conf]
   
7. Desmond Fearnley-Sander, Timothy Stokes
   Area in Grassmann Geometry. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:141-170 [Conf]
   
8. Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
   Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:171-188 [Conf]
   
9. Erik Hillgarter, Franz Winkler
   Points on Algebraic Curves and the Parametrization Problem. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 1996, pp:189-207 [Conf]
   
10. He Shi, Fengmei Zou
    Flat Central Configurations of Four Planet Motions. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1996, pp:208-217 [Conf]
    
11. Stéphane Fèvre
    Integration of Reasoning and Algebraic Calculus in Geometry. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1996, pp:218-234 [Conf]