Electronic Geometry Textbook
From MaRDI portal
Software:20745
swMATH8745MaRDI QIDQ20745FDOQ20745
Author name not available (Why is that?)
Cited In (7)
- Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Automated deduction and knowledge management in geometry
- Formalization and specification of geometric knowledge objects
- Representation and automated transformation of geometric statements
- Title not available (Why is that?)
- Towards an intelligent and dynamic geometry book
This page was built for software: Electronic Geometry Textbook
