Conferences in DBLP

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

1. Laura I. Meikle, Jacques D. Fleuriot
   Mechanical Theorem Proving in Computational Geometry. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:1-18 [Conf]
   
2. Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
   Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:19-33 [Conf]
   
3. XueFeng Chen, Peng Li, Long Lin, DingKang Wang
   Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:34-43 [Conf]
   
4. Pavel Pech
   Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:44-58 [Conf]
   
5. Lu Yang, Zhenbing Zeng
   Symbolic Solution of a Piano Movers' Problem with Four Parameters. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:59-69 [Conf]
   
6. Daniel Lichtblau
   Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:70-91 [Conf]
   
7. Francisco Botana, Tomás Recio
   Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:92-110 [Conf]
   
8. Britta Denner-Broser
   On the Decidability of Tracing Problems in Dynamic Geometry. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:111-129 [Conf]
   
9. Tielin Liang, Dongming Wang
   Towards a Geometric-Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:130-155 [Conf]
   
10. Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov
    Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2004, pp:156-168 [Conf]
    
11. Hongbo Li
    nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2004, pp:169-197 [Conf]
    
12. Gui-Fang Zhang, Xiao-Shan Gao
    Planar Generalized Stewart Platforms and Their Direct Kinematics. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2004, pp:198-211 [Conf]