Intergeo
From MaRDI portal
Cited in
(32)- Cinderella
- GCLC
- I2Geo
- GEOTHER 1.1
- GeoGebra
- Towards an intelligent and dynamic geometry book
- Cabri-geometry
- GeoProof
- JSXGraph
- GCLCprover
- GeoThms
- Cabri
- Jacareto
- ActiveMath
- MathDox
- Automated deduction and knowledge management in geometry
- Electronic Geometry Textbook
- Formalization and specification of geometric knowledge objects
- TGTP
- Opengeo
- GeoText
- LeActiveMath
- Opengeo: an open geometric knowledge base
- On the design and implementation of a geometric knowledge base
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Current status of the I2GATP common format
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- GATP
- WGL
- Baghera
- Representation and automated transformation of geometric statements
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
This page was built for software: Intergeo
