Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 82a23f67 authored by Michael Kohlhase's avatar Michael Kohlhase

more on MOLTO

parent c434b350
......@@ -91,9 +91,17 @@ Also of importantce: Muammad Humayoun's work on ``MathNat'' a controlled mathema
language for mathematical text:~\cite{HumayounMNMTCNL,MathNat:on,Humayoun:phd}. He also
has a \GF grammar at~\cite{CMLgrammar:on}.
Also we should look at the Plato
System~\cite{Wagner:coamas10,WAB:PAMbTEaPAS,AutexierEtAl:notations-texmacs-plato,plato:web};
see also ~\url{https://page.mi.fu-berlin.de/cbenzmueller/papers/J14.pdf}
\section{Question: How to use \GF for Formulae}
\ednote{I do not know yet}
The \GF already has the math grammars from the WebAlt and Molto projects~\cite{MOLTO:on},
they can be found at~\cite{molto-gf:on}. The work is described
in~\cite{SalXam:tgml12,CaprottiSaludes:OpenMathUIWiP2012,ArcCapRanSal:ugmam12}
\section{Conclusion}\label{sec:concl}
\ednote{tbw.}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment