GRAMY: A Geometry Theorem Prover Capable of Construction Noboru MatsudaKurt VanLehn OriginalPaper Pages: 3 - 33
ETPS: A System to Help Students Write Formal Proofs Peter B. AndrewsChad E. BrownHongwei Xi OriginalPaper Pages: 75 - 92