Contributors: Jordi Saludes, Ares Ribó, Sebastian Xambó, Olga Caprotti, Aarne Ranta, Krasimir Angelov, Ramona Enach, Adam Slaski, Thomas Hallgren, Shafqat Mumtaz Virk
The goal of the MGL is to provide mathematics in natural language in many natural languages, including interfacing with software.
gfsage
(see the Query Technologies Flagship)It started with EU project webALT.
Goal: To have a repository of multilingual mathematical exercises in high school Algebra and Calculus
First contact with GF
RGL and language not mature enough
The library is organized in three layers of increasing complexity:
Ground
and Variables
.Compute
, Prove
, Find
, etc.) with the productions of the OpenMath layer.
Mathematics as done using OpenMath, a language especially designed for the online representation and communication of meaningful mathematical expressions electronically. It is also possible to express a sequence of simple computations as done in gfsage
, or mathematical problems, as done in MathTalk
and in the Word Problems.
The abstract modular structure of the MGL in the case of quantification and variables.
these are just to show the complexity of the modular structure