5. ADG 2004:
Gainesville,
FL,
USA
Hoon Hong, Dongming Wang (Eds.):
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers.
Lecture Notes in Computer Science 3763 Springer 2006, ISBN 3-540-31332-X BibTeX
- Laura I. Meikle, Jacques D. Fleuriot:
Mechanical Theorem Proving in Computational Geometry.
1-18
Electronic Edition (link) BibTeX
- Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger:
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.
19-33
Electronic Edition (link) BibTeX
- XueFeng Chen, Peng Li, Long Lin, DingKang Wang:
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.
34-43
Electronic Edition (link) BibTeX
- Pavel Pech:
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.
44-58
Electronic Edition (link) BibTeX
- Lu Yang, Zhenbing Zeng:
Symbolic Solution of a Piano Movers' Problem with Four Parameters.
59-69
Electronic Edition (link) BibTeX
- Daniel Lichtblau:
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods.
70-91
Electronic Edition (link) BibTeX
- Francisco Botana, Tomás Recio:
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.
92-110
Electronic Edition (link) BibTeX
- Britta Denner-Broser:
On the Decidability of Tracing Problems in Dynamic Geometry.
111-129
Electronic Edition (link) BibTeX
- Tielin Liang, Dongming Wang:
Towards a Geometric-Object-Oriented Language.
130-155
Electronic Edition (link) BibTeX
- Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov:
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.
156-168
Electronic Edition (link) BibTeX
- Hongbo Li:
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.
169-197
Electronic Edition (link) BibTeX
- Gui-Fang Zhang, Xiao-Shan Gao:
Planar Generalized Stewart Platforms and Their Direct Kinematics.
198-211
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:56:20 2009
by Michael Ley (ley@uni-trier.de)