Electronic Geometry Textbook
From MaRDI portal
Cited in
(25)- foaf
- Towards an intelligent and dynamic geometry book
- GtkMathView
- jsMath
- GCLCprover
- GeoThms
- ActiveMath
- MathDox
- STEX+
- Automated deduction and knowledge management in geometry
- Formulator MathML
- Intergeo
- Formalization and specification of geometric knowledge objects
- arXMLiv
- TGTP
- Opengeo
- GeoText
- LeActiveMath
- Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- GATP
- WGL
- Baghera
- Representation and automated transformation of geometric statements
This page was built for software: Electronic Geometry Textbook
