Mechanical Theorem Proving in Geometries
Subtitle: Basic Principles (Texts and Monographs in Symbolic Computation)
Contributors: X. Jin (Translator); D. Wang (Translator)
Edition: 1 edition
Publisher: Springer
Published: April 14, 1994
Language: eng
Format: Paperback
Number of pages: 288
ISBN-13: 9783211825068
Subjects: Analytic geometry; Mathematical theory of computation; Set theory; Logic; General; Mathematics; Science/Mathematics; Computer Science; Geometry - Algebraic; Geometry - General; Mathematics / Logic; Automatic theorem proving; Data processing; Geometry