Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles (Paperback)

Usually despatched within 2 weeks.
Order now for Free delivery in the UK.
More on delivery...


There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur- ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita- tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re- lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti- tative relations.

Computing & ITComputer scienceMathematical theory of computationScience & MathematicsMathematicsGeometryAnalytic geometryScience & MathematicsMathematicsMathematical foundationsSet theory Publisher: Springer Verlag GmbH Publication Date: 14/04/1994 ISBN-13: 9783211825068  Details: Type: Paperback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

More books by Wen Tsun Wu

More books by X. Jin

More books by D. Wang

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

The Universal Computer: The Road from...
Martin Davis
The Universal Computer: The Road from...
Martin Davis
A Concrete Introduction to Real...
Robert Carlson
A Concise Introduction to Pure...
Martin Liebeck
Latest Blog
On Memory and Forgetting

David Whitehouse talks to us about memory and forgetting, and how his personal experience influenced his new novel, The Long Forgotten.

The End of the F***ing World creator, Charles Forsman, picks his favourite coming of age books

The End of the F***ing World creator, Charles Forsman, picks his favourite coming of age books.

#FoylesFive: Annihilation

With the release of Annihilation on Netflix it's the perfect time to catch up with the book that starts Jeff VanderMeer's unsettling Southern Reach trilogy.

View all Blog Entries
Show/Hide Tweets
© W&G Foyle Ltd