The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcos Cramer' in GoogleThis author has not been identified. Look up 'Peter Koepke' in GoogleThis author has not been identified. Look up 'Daniel Kühlwein' in GoogleThis author has not been identified. Look up 'Bernhard Schröder' in GoogleThis author has not been identified. Look up 'Jip Veldman' in Google

runs on WebDSL