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

Commit c434b350 authored by Michael Kohlhase's avatar Michael Kohlhase

adding more references

parent c0e3cf0b
......@@ -87,6 +87,10 @@ An interesting read for this are Kevin Kofler's Dissertation~\cite[sections 5 an
They have already done something similar in the \textsf{Concise}
system/project~\cite{Concise-manual:on}.
Also of importantce: Muammad Humayoun's work on ``MathNat'' a controlled mathematical
language for mathematical text:~\cite{HumayounMNMTCNL,MathNat:on,Humayoun:phd}. He also
has a \GF grammar at~\cite{CMLgrammar:on}.
\section{Question: How to use \GF for Formulae}
\ednote{I do not know yet}
......
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