Skip to main content
SpringerLink
Log in

Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Hoon Hong

    1. Department of Mathematics, North Carolina State University, Raleigh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dongming Wang

    1. LMIB – SKLSDE – School of Science, Beihang University, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3763)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ADG 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Mechanical Theorem Proving in Computational Geometry

    • Laura I. Meikle, Jacques D. Fleuriot
    Pages 1-18

  3. Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness

    • Judit Robu, Tetsuo Ida, Dorin Ţepeneu, Hidekazu Takahashi, Bruno Buchberger
    Pages 19-33

  4. Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases

    • Xuefeng Chen, Peng Li, Long Lin, Dingkang Wang
    Pages 34-43

  5. Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides

    • Pavel Pech
    Pages 44-58

  6. Symbolic Solution of a Piano Movers’ Problem with Four Parameters

    • Lu Yang, Zhenbing Zeng
    Pages 59-69

  7. Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods

    • Daniel Lichtblau
    Pages 70-91

  8. Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

    • Francisco Botana, Tomás Recio
    Pages 92-110

  9. On the Decidability of Tracing Problems in Dynamic Geometry

    • Britta Denner-Broser
    Pages 111-129

  10. Towards a Geometric-Object-Oriented Language

    • Tielin Liang, Dongming Wang
    Pages 130-155

  11. Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods

    • Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov
    Pages 156-168

  12. nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation

    • Hongbo Li
    Pages 169-197

  13. Planar Generalized Stewart Platforms and Their Direct Kinematics

    • Gui-Fang Zhang, Xiao-Shan Gao
    Pages 198-211

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Automated Deduction in Geometry

Keywords

Editors and Affiliations

  • Department of Mathematics, North Carolina State University, Raleigh, USA

    Hoon Hong

  • LMIB – SKLSDE – School of Science, Beihang University, Beijing, China

    Dongming Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation