|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Deduction in Geometry - International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Paperback, 1997 ed.)
Loot Price: R1,533
Discovery Miles 15 330
|
|
|
Automated Deduction in Geometry - International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Paperback, 1997 ed.)
Series: Lecture Notes in Artificial Intelligence, 1360
Expected to ship within 10 - 15 working days
|
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, Grobner 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
