Mechanical Theorem Proving in Geometries: Basic Principles Book Discussion
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)
by
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)