Intergeo
From MaRDI portal
Software:21832
swMATH9853MaRDI QIDQ21832FDOQ21832
Author name not available (Why is that?)
Cited In (10)
- Automated deduction and knowledge management in geometry
- On the design and implementation of a geometric knowledge base
- Formalization and specification of geometric knowledge objects
- Representation and automated transformation of geometric statements
- Towards an intelligent and dynamic geometry book
- Opengeo: an open geometric knowledge base
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
- 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
This page was built for software: Intergeo
