Baghera

MaRDI QIDQ43967swMATHFDO

Official website https://www.academia.edu/1524705/Baghera_project_a_multi-agent_architecture_for_human_learning

Cited in

(7)

• A graphical user interface for formal proofs in geometry
• Cabri-geometry
• Electronic Geometry Textbook
• GeoView
• CHYPRE
• Geometry Tutor
• Towards an intelligent and dynamic geometry book

This page was built for software: Baghera