Marcos Cramer

Research profile

• Naproche: Mathematical language, proof representations, logic, computational linguistics, proof checking.

Publications

• Proof-checking mathematical texts in controlled natural language
  Phd thesis, University of Bonn. To be published.
• Implicit dynamic function introduction and its connections to the foundations of mathematics
  Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012).
• Higher-Order Dynamic Predicate Logic
  Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011.
• Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
  Joint paper with P. Koepke and B. Schröder for the Conference on Intelligent Computer Mathematics (CICM) 2011.
• Komputlingvoscienca kaj logika analizado de matematikaj tekstoj
  Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010.
• Interpreting Plurals in the Naproche CNL
  Joint paper with B. Schröder for the Controlled Natural Language (CNL) Workshop 2010. The original publication is available at www.springerlink.com.
• Presupposition Projection and Accommodation in Mathematical Texts
  Joint paper with D. Kühlwein and B. Schröder for the Conference on Natural Language Processing (KONVENS) 2010.
• Premise Selection in the Naproche System
  Joint paper with P. Koepke, D. Kühlwein, and B. Schröder for the International Joint Conference on Automated Reasoning (IJCAR) 2010. The original publication is available at www.springerlink.com.
• The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
  Joint paper with B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman for the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at www.springerlink.com.
• The Naproche System
  Joint paper with P. Koepke, D. Kühlwein, and B. Schröder for the Calculemus 2009.
• Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen
  Master thesis, 2009

Contact information

Mathematisches Institut
Rheinische Friedrich-Wilhelms-Universität Bonn
Beringstraße 1
D-53115 Bonn
Germany

Office: Endenicher Allee 60, Room N2.003
Phone: + 49-228-73-62280
E-mail : cramer (at math.uni-bonn.de)