Lecture Notes in Artificial Intelligence

Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Editors: Wang, Dongming (Ed.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69717-6
  • Digitally watermarked, DRM-free
  • Included format:
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $89.99
price for USA in USD
About this book

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets

    Pages 1-36

    Kapur, Deepak

  • Extended Dixon's resultant and its applications

    Pages 37-57

    Tran, Quoc-Nam

  • Computational geometry problems in REDLOG

    Pages 58-86

    Sturm, Thomas (et al.)

  • Probabilistic verification of elementary geometry statements

    Pages 87-101

    Carrá Ferro, Giuseppa (et al.)

  • Computational synthetic geometry with Clifford algebra

    Pages 102-114

    Havel, Timothy F.

Buy this book

eBook $69.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69717-6
  • Digitally watermarked, DRM-free
  • Included format:
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $89.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction in Geometry
Book Subtitle
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Editors
  • Dongming Wang
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1360
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69717-6
DOI
10.1007/BFb0022715
Softcover ISBN
978-3-540-64297-8
Edition Number
1
Number of Pages
VII, 240
Topics