Cited in
(8)- A data model and encoding for a semantic, multilingual terminology of mathematics
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- gfsage
- FraCaS
- SMGLoM
- Naproche
- Translating between language and logic: what is easy and what is difficult
- Multilingual Sage
This page was built for software: GF
