Electronic Geometry Textbook
From MaRDI portal
Software:20745
swMATH8745MaRDI QIDQ20745FDOQ20745
Author name not available (Why is that?)
Cited In (7)
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Automated deduction and knowledge management in geometry
- Formalization and specification of geometric knowledge objects
- Representation and automated transformation of geometric statements
- Towards an intelligent and dynamic geometry book
- Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
- Electronic Geometry Textbook: a geometric textbook knowledge management system
This page was built for software: Electronic Geometry Textbook
