Daniel Kühlwein
About me
I'm a phd student at the Mathematical Institut of the University of Bonn. Marcos Cramer and me are developing the Naproche System.Research Interests
- Naproche - Natural Language Proof Checking.
- Automated Theorem Proving
- Controlled Natural Languages
Publications
- The Naproche System ; paper presented at the emerging systems section of the Calculemus 2009
- A calculus for Proof Representation Structures; Diplom thesis, University of Bonn
Contact Information
- Address:
Mathematisches Institut
Rheinische Friedrich-Wilhelms-Universität Bonn
Beringstraße 1
D-53115 Bonn
Germany
- Office: Beringstraße 4, Zimmer 42
- Phone: +49 228 73 6888
- Email: kuehlwei (at) math.uni-bonn.de