The Testaments out now
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers - Lecture Notes in Artificial Intelligence 1360 (Paperback)
  • Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers - Lecture Notes in Artificial Intelligence 1360 (Paperback)
zoom

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers - Lecture Notes in Artificial Intelligence 1360 (Paperback)

(editor)
£53.99
Paperback 240 Pages / Published: 18/03/1998
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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, Groebner 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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540642978
Number of pages: 240
Weight: 780 g
Dimensions: 235 x 155 x 13 mm
Edition: 1997 ed.

You may also be interested in...

Logic in Computer Science
Added to basket
Modelling Computing Systems
Added to basket
Number-Crunching
Added to basket
£24.00
Hardback
Bayesian Methods for Hackers
Added to basket
The Algorithm Design Manual
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Foundation Mathematics
Added to basket
Lambda-Calculus and Combinators
Added to basket
Boosting
Added to basket
£30.00
Paperback
Concrete Mathematics
Added to basket
The Elements of Statistical Learning
Added to basket
Data Analysis with Open Source Tools
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Discrete Mathematics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.