Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial...

Buy Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial... here, one of many Polynomials books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Mathematics Books > Polynomials > Item 130

	Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial...
	(Hardcover - Jan 1, 2000) by Wu Wen-tsun Sales Rank: 4149235	$179.00 At Amazon on 6-16-2009.

*Features* Cover Type: Hard Cover with 432 pages Published by: Springer Edition: 1st Edition January 1, 2000 Written in: English ISBN 10 Number: 079235835X ISBN 13 Number: 978-0792358350 Book Dimensions: 9.5 x 6.4 x 1.1 inches Weighs: 1.7 pounds *Product Description* A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples. Language Notes Text: English (translation) Original Language: Chinese Back To Top
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial... ~~List Price: $179.00~~ Available from Amazon Price: $179.00 Updated on 6-16-2009.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial... and other related Polynomials Books here at Rbookshop.com. To view more books about Polynomials please use the previous and next buttons near the top of this page.