Intergeo
From MaRDI portal
Software:21832
swMATH9853MaRDI QIDQ21832FDOQ21832
Author name not available (Why is that?)
Cited In (10)
- OpenGeo: An Open 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
- Automated deduction and knowledge management in geometry
- Formalization and specification of geometric knowledge objects
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- Representation and automated transformation of geometric statements
- On the Design and Implementation of a Geometric Knowledge Base
- Towards an intelligent and dynamic geometry book
This page was built for software: Intergeo