Intergeo
From MaRDI portal
Software:21832
No author found.
Related Items (10)
Current Status of the I2GATP Common Format ⋮ Towards an intelligent and dynamic geometry book ⋮ Representation and automated transformation of geometric statements ⋮ On the Design and Implementation of a Geometric Knowledge Base ⋮ Automated deduction and knowledge management in geometry ⋮ Formalization and specification of geometric knowledge objects ⋮ Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices ⋮ OpenGeo: An Open Geometric Knowledge Base
This page was built for software: Intergeo
