Mechanical Geometry Theorem Proving (Mathematics and Its Applications)
Edition: 1 edition
Publisher: Springer
Published: November 30, 2001
Language: eng
Format: Paperback
Number of pages: 376
ISBN-13: 9781402003301
Subjects: Algebra; Image processing; Mathematics; Science/Mathematics; Geometry - General; Computers / Computer Science; Mathematics / Geometry / General