Cramer, Marcos; Fisseni, Bernhard; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard; Veldman, Jip:
The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
In: Controlled natural language : Workshop on Controlled Natural Language / Fuchs, Norbert E. (Eds.). - Workshop on Controlled Natural Language, 2009.06.08-10, Marettimo Island, Italy - Berlin: Springer, 2010 - (Lecture Notes in Computer Science ; 5972), pp. 170 - 186
2010book article/chapter in Proceedings
German Language and Literature StudiesFaculty of Humanities
Title in English:
The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
Author:
Cramer, Marcos;Fisseni, BernhardUDE
LSF ID
49251
ORCID
0000-0003-3434-8964ORCID iD
Other
connected with university
;
Koepke, Peter;Kühlwein, Daniel;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Other
connected with university
;
Veldman, Jip
Scopus ID
Language of text:
English