Skip to main content
  • Conference proceedings
  • © 2004

Automated Deduction in Geometry

4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Editors:

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

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

Conference series link(s): ADG: International Workshop on Automated Deduction in Geometry

Conference proceedings info: ADG 2002.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

  2. Using Computer Algebra Tools to Classify Serial Manipulators

    • Solen Corvez, Fabrice Rouillier
    Pages 31-43
  3. A New Structural Rigidity for Geometric Constraint Systems

    • Christophe Jermann, Bertrand Neveu, Gilles Trombettoni
    Pages 87-105
  4. The Nonsolvability by Radicals of Generic 3-connected Planar Graphs

    • John C. Owen, Steve C. Power
    Pages 124-131
  5. C 1 Spline Implicitization of Planar Curves

    • Mohamed Shalaby, Bert Jüttler, Josef Schicho
    Pages 161-177
  6. Back Matter

Other Volumes

  1. Automated Deduction in Geometry

About this book

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.

The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

Keywords

  • Automat
  • Resolution
  • automated deduction
  • computer
  • computer algebra
  • proving
  • robot
  • robotics
  • theorem proving

Editors and Affiliations

  • Research Institute for Symbolic Computation (RISC), J. Kepler University, Linz, Austria

    Franz Winkler

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions