A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education
Rule Based Geometry Automated Theorem Provers for Geometry