GF
The GF Mathematics Library. This paper is devoted to present the Mathematics Grammar Library, a system for multilingual mathematical text processing. We explain the context in which it originated, its current design and functionality and the current development goals. We also present two prototype services and comment on possible future applications in the area of artificial mathematics assistants
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
Sorted by year (- Corneli, Joseph; Martin, Ursula; Murray-Rust, Dave; Pease, Alison: Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (2017)
- Kohlhase, Michael: A data model and encoding for a semantic, multilingual terminology of mathematics (2014)
- Saludes, Jordi; Xambó, Sebastian: Multilingual Sage (2012)
- Ranta, Aarne: Translating between language and logic: what is easy and what is difficult (2011)