Automated Deduction in Geometry

Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

  • Jürgen Richter-Gebert
  • Dongming Wang
Conference proceedings ADG 2000

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2061)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Christoph M. Hoffmann, Bo Yuan
    Pages 1-15
  3. Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang
    Pages 16-25
  4. Fabrice Rouillier, Mohab Safey El Din, Éric Schost
    Pages 26-40
  5. Pasqualina Conti, Carlo Traverso
    Pages 83-103
  6. Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano
    Pages 104-128
  7. Michael Bulmer, Desmond Fearnley-Sander, Tim Stokes
    Pages 129-142
  8. Tim Stokes, Michael Bulmer
    Pages 143-153
  9. Ulrich Kortenkamp, Jürgen Richter-Gebert
    Pages 193-198
  10. Timothy F. Havel
    Pages 228-245
  11. Jacques D. Fleuriot
    Pages 246-267
  12. Ricardo Caferra, Nicolas Peltier, François Puitg
    Pages 268-305
  13. Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
    Pages 306-323
  14. Back Matter
    Pages 325-325

About these proceedings

Keywords

Automat Computer Vision Computer-Aided Design Formal Verification Geometric Deduction Geometric Design Geometric Modeling Geometric Problem Solving Theorem Proving automated deduction proving

Editors and affiliations

  • Jürgen Richter-Gebert
    • 1
  • Dongming Wang
    • 2
  1. 1.Zentrum Mathematik, SB4Technische Universität MünchenMünchenGermany
  2. 2.Laboratoire d’Informatique de Paris 6Université Pierre et Marie Curie — CNRSParis Cedex 05France

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45410-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42598-4
  • Online ISBN 978-3-540-45410-6
  • Series Print ISSN 0302-9743
  • About this book