Mechanical Geometry Theorem Proving (Mathematics and Its Applications)
Shang-Ching Chou
Paperback. Kluwer Academic Publishers 2002-01-01.
ISBN 9781402003301
Buy from Amazon.co.uk
More books by Shang-Ching Chou
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Hardcover
1994
Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
eBook
1994
Similar books
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
eBook
1994
Mechanical Theorem Proving in Geometries: Basic Principles
eBook
1994
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
eBook
1994
A Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton's Principia
eBook
1994
Symbolic Logic and Mechanical Theorem Proving
eBook
1994
Rate the book
Write a review and share your opinion with others. Try to focus on the content of the book.
Read our instructions
for further information.
Mechanical Geometry Theorem Proving
Your rating:
Please enter a title for your review
(min 2 words):
Type your review in the space below
(max 1000 words):
Language of the review:
English
Your name
(optional):
Your email address
(not displayed,
only
for verification):
Your review will be displayed within five to seven business days.
Reviews that doesn't follow our
instructions
will not be displayed.
Book reviews
»
Mechanical Geometry Theorem Proving (Mathematics and Its Applications)
Categories
Address Books & Journals
Art & Architecture
Biography
Business, Finance & Law
Comics & Graphic Novels
Computers & Internet
Crime, Thrillers & Mystery
Fiction
Food & Drink
Health & Family
History
Home & Garden
Horror
Mind, Body & Spirit
Music, Stage & Screen
Poetry, Drama & Criticism
Reference & Languages
Religion & Spirituality
Science & Nature
Science Fiction & Fantasy
Scientific & Medical
Society & Philosophy
Sports & Hobbies
Book reviews
|
Help & support
|
About us