Mechanical Geometry Theorem Proving (Mathematics and Its Applications)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 380
ISBN-13: 9789027726506
Subjects: Mathematics; Geometry; Computers; Computer Books: General; Science/Mathematics; Computer Science; Geometry - Algebraic; Computers / Computer Science; Computers-Computer Science; Mathematics / Geometry / Algebraic; Automatic theorem proving