Mathematics Mechanization
Subtitle: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 436
ISBN-13: 9780792358350
Subjects: Mathematical logic; Science/Mathematics; General; Automata; Numerical Solutions Of Differential Equations; Computers; Mathematics; Numerical solutions; Logic; Mathematics / Logic; Medical-General; Philosophy-Logic; Automatic theorem proving; Computer Science; Artificial intelligence; Equations
First sentence: There are two main activities of mathematics; theorem-proving and equations-solving.