Front cover of Mechanical theorem proving in geometries by Wu, Wen-tsün.
2 editions
1994 first published
III · Science

Mechanical theorem proving in geometries

Subjects Automatic theorem proving · Data processing · Geometry · Symbolic and mathematical Logic · Algebra · Combinatorics
Language ENG
Free download
Download "Mechanical theorem proving in geometries"
PDF·EPUB·MOBI·TXT

No signup. No fees. Yours to keep.

About this book

Mechanical theorem proving in geometries, written by Wu, Wen-tsün., is now in the public domain and available here for free download. this title joins thousands of works in our science collection.

Click the download button above to receive the complete text in your preferred ebook format—PDF, EPUB, MOBI, or plain text.

See all →
Cover of Houghton Mifflin Science California by Houghton Mifflin Company Staff

Houghton Mifflin Science California
Cover of A History of Magic and Experimental Science, Volume 1 (of 2): During the First Thirteen Centuries of Our Era by Lynn Thorndike

A History of Magic and Experimental Science, Volume 1 (of 2): During the First Thirteen Centuries of Our Era
Cover of Heinemann Mathematics by Scottish Primary Mathematics Group

Heinemann Mathematics
Cover of Houghton Mifflin Science Leveled Readers by Houghton Mifflin Company Staff

Houghton Mifflin Science Leveled Readers
Cover of [William Wheeler Hubbell, authorized to apply for patents.] by United States. Congress. Senate. Committee on Patents

[William Wheeler Hubbell, authorized to apply for patents.]
Cover of Pharmacographia: A history of the principal drugs of vegetable origin, met with in Great Britain and British India by Friedrich A. (Friedrich August) Flückiger

Pharmacographia: A history of the principal drugs of vegetable origin, met with in Great Britain and British India