Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

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 (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69717-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-64297-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

    Kapur, Deepak

    Pages 1-36

  • Extended Dixon's resultant and its applications

    Tran, Quoc-Nam

    Pages 37-57

  • Computational geometry problems in REDLOG

    Sturm, Thomas (et al.)

    Pages 58-86

  • Probabilistic verification of elementary geometry statements

    Carrá Ferro, Giuseppa (et al.)

    Pages 87-101

  • Computational synthetic geometry with Clifford algebra

    Havel, Timothy F.

    Pages 102-114

Buy this book

eBook $69.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69717-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-64297-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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