Electronic Geometry Textbook
From MaRDI portal
Software:20745
No author found.
Related Items (7)
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence ⋮ Towards an intelligent and dynamic geometry book ⋮ Representation and automated transformation of geometric statements ⋮ Unnamed Item ⋮ Automated deduction and knowledge management in geometry ⋮ Formalization and specification of geometric knowledge objects ⋮ Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
This page was built for software: Electronic Geometry Textbook
