Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman. The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. In Norbert E. Fuchs, editor, Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), Marettimo Island, Italy, 8-10 June, 2009. Volume 448 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
Abstract is missing.