Title: Machine proofs in geometry
First published: 1994
Subjects: Axioms, Data processing, Automatic theorem proving, Geometry, data processing
LC classification: QA481 .C48 1994