Geometry Tutor

swMATH32253MaRDI QIDQ43964FDOQ43964

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: Geometry Tutor