Geometry Tutor

MaRDI QIDQ43964swMATHFDO

Official website https://dl.acm.org/doi/10.5555/1625135.1625136

Cited in

(10)

• A graphical user interface for formal proofs in geometry
• Conservation principles and action schemes in the synthesis of geometric concepts
• MEDLAR
• Cabri-geometry
• Hyperproof
• NESTOR
• DENDRAL
• Baghera
• CHYPRE
• Automated reasoning in geometry theorem proving with Prolog

This page was built for software: Geometry Tutor