Automated Deduction In Geometry International Workshop On Automated Deduction In Geometry Toulouse France September 1996 Selected Papers LNAI 1360(1st Edition)
Authors:
Dongming Wang
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3540642978, 978-3540642978
Book publisher: Springer
Book Summary: 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.
Customers also bought these books
Environmental Issues And Waste Management Technologies In The Ceramic And Nuclear Industries Ix - 1st Edition
John D. Vienna
ISBN: 1574982095, 978-1574982091
$0 $41.25Frequently Bought Together
Principles Of Auditing And Other Assurance Services - 22nd Edition
Ray Whittington
ISBN: 126059808X, 978-1260598087
$0 $162.35
Introduction To Modern Statistics - 2nd Edition
Mine Çetinkaya-Rundel
ISBN: 1943450277, 978-1943450275
$0 $25.00
Accounting Principles - 13th edition
Jerry J. Weygandt
ISBN: 978-1-119-4110, 1119411483, 9781119411017, 978-1119411482
$0 $252.00
Raspberry Pi Operating System Assembly Language - 4th Edition
Bruce Smith
ISBN: 0648098737, 978-0648098737
$0 $19.99
Applied Statistical Modelling For Ecologists A Practical Guide To Bayesian And Likelihood Inference Using R JAGS NIMBLE Stan And TMB - 1st Edition
Marc Kéry
ISBN: 0443137153, 978-0443137150
$0 $89.95
Photon And Electron Collisions With Atoms And Molecules - 1st Edition
Philip G. Burke
ISBN: 1461377137, 978-1461377139
$0 $174.68
Agricultural Implications Of Fukushima Nuclear Accident Iv After 10 Years - 1st Edition
Tomoko M. Nakanishi
ISBN: 9811993637, 978-9811993633
$0 $49.99Top Reviews for Books
