Machine proofs in geometry - automated production of readable proofs for geometry theorems

Abstract

The Hilbert intersection point theorems the constructive theorems the Hilbert intersection point theorems in solid geometry a collection of theorems and proofs automatically generated by computers.