
Automated Deduction in Geometry (English, Dongming Wang)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540642978 |
| ISBN-10 | 3540642978 |
| Author | Dongming Wang |
Product Description
Here on GlowMirror, you'll find Automated Deduction in Geometry filed under Science & Mathematics -- everything you need to know is covered below.
About the 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,…
ISBN: 9783540642978
Book Insights
What You'll Learn
- ·Rigorous mathematical concepts covered in Automated Deduction in Geometry
- ·Step-by-step proofs, theorems, and worked examples
- ·Applications and connections to other branches of mathematics
Who Should Read This
Mathematics students, researchers, and anyone who enjoys problem-solving.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy










