-
Chapter and Conference Paper
Towards an Annotation Standard for STEM Documents
When publishing papers, researchers in mathematics and related disciplines typically focus on the presentation, i.e. type-setting, of their ideas and provide little semantic information. This impedes the devel...
-
Chapter and Conference Paper
Logic-Independent Proof Search in Logical Frameworks
Logical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. A crucial feature that is missing for prototy** log...
-
Chapter and Conference Paper
Prototy** Controlled Mathematical Languages in Jupyter Notebooks
The Grammatical Logical Framework (GLF) is a framework for prototy** the translation of natural language sentences into logic. The motivation behind GLF was to apply it to mathematical language, as the classica...