Multilingual Mathematics
(WiP)
© S. Xambó
This is joint work with
Jordi Saludes
related to the
mOlto
project.
The GF Mathematics Library
(EN: 2012)
Toward Multilingual Mechanized Mathematical Assistants
(EN: 2012)
Multilingual Sage
(EN: 2012)
Research
|
SXD
© S. Xambó
Last revised: 4.8.2012