Jip Veldman

According to our database, Jip Veldman authored at least 2 papers in 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts.

Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman

Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts.

Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009