Open educational materials and tools from the Forome Association.
| Directory | Description |
|---|---|
EuclideanGeometry/ |
Catalogs of an ontology for annotating Euclidean geometry problems and their solutions — geometric facts, objects, and methods — in English and Russian, with translation tables and a worked solution-graph example. |
The Euclidean geometry ontology was developed in 1991–1996 and has been used to annotate thousands of geometry problems in support of curriculum design and skill tracking. It is documented in the article:
M. Bouzinier, S. Trifonov, M. Chen, T. Venkatesh, L. Rifkin. An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development. arXiv:2509.02758 (submitted to the International Journal of Mathematical Education in Science and Technology).
If you use the catalogs, please cite the article above and the archived dataset
(see CITATION.cff). Versioned archives are maintained on
Zenodo:
10.5281/zenodo.21541020 resolves to the latest version; the v1.0.0 archive is 10.5281/zenodo.21541021.
This repository uses two licenses:
- Content — the catalogs, translation tables, examples, and documentation
(everything under
EuclideanGeometry/and all Markdown files) is licensed under Creative Commons Attribution 4.0 International (CC BY 4.0). - Code — any source code in this repository is licensed under the MIT License.
Michael Bouzinier — michael.bouzinier@forome.org