default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ADG 2004: Gainesville, FL, USA
- Hoon Hong, Dongming Wang:
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 - Laura I. Meikle, Jacques D. Fleuriot
:
Mechanical Theorem Proving in Computational Geometry. 1-18 - 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 - XueFeng Chen, Peng Li, Long Lin, DingKang Wang:
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. 34-43 - Pavel Pech:
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. 44-58 - Lu Yang, Zhenbing Zeng:
Symbolic Solution of a Piano Movers' Problem with Four Parameters. 59-69 - Daniel Lichtblau:
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods. 70-91 - Francisco Botana, Tomás Recio:
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. 92-110 - Britta Denner-Broser:
On the Decidability of Tracing Problems in Dynamic Geometry. 111-129 - Tielin Liang, Dongming Wang:
Towards a Geometric-Object-Oriented Language. 130-155 - Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov:
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods. 156-168 - Hongbo Li:
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. 169-197 - Gui-Fang Zhang, Xiao-Shan Gao:
Planar Generalized Stewart Platforms and Their Direct Kinematics. 198-211
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
