2023

Bernhard Fisseni, Deniz Sarikaya, Bernhard Schröder (2023): How to frame innovation in mathematics. Synthese 202, 108 (2023). DOI: 10.1007/s11229-023-04310-3

2021

Merlin Carl, Marcos Cramer, Bernhard Fisseni, Deniz Sarikaya, Bernhard Schröder (2021): How to Frame Understanding in Mathematics: A Case Study Using Extremal Proofs. In Axiomathes 31, 649–676. DOI: 10.1007/s10516-021-09552-9

2020

Bernhard Fisseni, Deniz Sarikaya, Martin Schmitt, Bernhard Schröder (2020): How to frame a mathematician. Modelling the cognitive background of proofs. In: Stefania Centrone, Deborah Kant, Deniz Sarikaya (eds.): Reflections on the foundations of mathematics: Univalent foundations, set theory and general thoughts. Berlin, Heidelberg: Springer. DOI: 10.1007/978-3-030-15655-8_19

2018

Steffen Frerix and Peter Koepke (2018). “Automatic Proof-Checking of Ordinary Mathematical Texts.” In: Osman Hasan et al. (eds.): CICM-WS 2018: Proceedings of the Workshop Formal Mathematics for Mathematicians (FMM), Hagenberg, Austria, 13-Aug-2018. Vol. 2307. CEUR-WS.

2014

Marcos Cramer (2014): The Naproche system: Proof-checking mathematical texts in controlled natural language [Preprint]. In: Sprache und Datenverarbeitung (SDV) 38.1-2/2014, 9–33.

2013

Marcos Cramer (2013): PhD thesis, Proof-checking mathematical texts in controlled natural language [local copy]. Rheinische Friedrich-Wilhelms-Universität Bonn.

2012

Marcos Cramer (2012): Implicit dynamic function introduction and its connections to the foundations of mathematics. Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012. In: Oleg Prosorov (ed.): Proceedings of the International Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012 (PhML-2012). Rickmansworth: College Publications, 23–34.

2011

Marcos Cramer (2011): Higher-Order Dynamic Predicate Logic, extended abstract for the Conference on Computing Natural Reasoning (COCONAT), Tilburg, 15–16 December 2011.
Sebastian Zittermann (2011): Master thesis, Entwicklung des Naproche-Proof-State-Datentyps. Fachhochschule Köln.
Marcos Cramer, Peter Koepke, and Bernhard Schröder (2011): Parsing and Disambiguation of Symbolic Mathematics in the Naproche System [Preprint]. In: James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban (eds.): Intelligent Computer Mathematics. CICM 2011. Lecture Notes in Computer Science, vol 6824. Springer, Berlin, Heidelberg.

2010

Merlin Carl, Peter Koepke (2010): Interpreting Naproche – An algorithmic approach to the derivation-indicator view. In: Alison Pease, Markus Guhe, and Alan Smaill (eds.): Proceedings of the International Symposium on Mathematical Practice and Cognition at the AISB 2010 convention, 29 March – 1 April 2010, De Montfort University, Leicester, UK, 7–10.
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman (2010): The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts. [Preprint] In: Norbert H. Fuchs (ed.): Controlled Natural Language. Berlin: Springer, 170–186.
Marcos Cramer, Peter Koepke, Daniel Kühlwein, and Bernhard Schröder (2010): Premise Selection in the Naproche System [Preprint]. In: Jürgen Giesl, Reiner Hähnle: Automated Reasoning. 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin, Heidelberg: Springer.
Marcos Cramer, Daniel Kühlwein, and Bernhard Schröder (2010): Presupposition Projection and Accommodation in Mathematical Texts [Preprint]. In: Manfred Pinkal, Ines Rehbein, Sabine Schulte im Walde, Angelika Storrer (eds.): Semantic Approaches in Natural Language Processing. Proceedings of the Conference on Natural Language Processing 2010. Saarbrücken: Universaar, 29–36.
Marcos Cramer and Bernhard Schröder (2010): Interpreting Plurals in the Naproche CNL [Preprint], In: Michael Rosner, Norbert E. Fuchs (eds.): Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13–15, 2010. Revised Papers. Berlin: Springer, 2012, 43–52.
Sebastian Zittermann (2010): Internship Report. Fachhochschule Köln.

2009

Doerthe Arndt (2009): Diploma thesis, Semantik und Korrektheit von Prolog-Programmen im Naproche-Projekt. Rheinische Friedrich-Wilhelms-Universität Bonn.
Merlin Carl, Marcos Cramer and Daniel Kühlwein (2009): Chapter 1 of Landau in Naproche, the first chapter of our Landau translation.
Marcos Cramer, Peter Koepke, Daniel Kühlwein, and Bernhard Schröder (2009): The Naproche System. In: Lucas Dixon, Jacques Carette (eds.): Calculemus Emerging Trends 2009 (joint with CICM'09), 6–7 July 2009, Ontario, Canada, 10–20.
Mona Rahn (2009): Internship Report. Rheinische Friedrich-Wilhelms-Universität Bonn.
John Schmid (2009): Internship Report. Rheinische Friedrich-Wilhelms-Universität Bonn.
Marcos Cramer (2009): Master thesis, Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen, Rheinische Friedrich-Wilhelms-Universität Bonn, explains the mathematical and logical aspects of Proof Representation Structures.
Daniel Kühlwein (2009): Diploma thesis, A calculus for Proof Representation Structures. Rheinische Friedrich-Wilhelms-Universität Bonn, explains the theoretical background of the checking algorithm.
Jip Veldman, Bernhard Fisseni, Bernhard Schröder, Peter Koepke (2009): From Proof Texts to Logic. In: Christian Chiarcos, Richard Eckart de Castilho und Manfred Stede (eds.): Von der Form zur Bedeutung. Texte automatisch verarbeiten. / From Form to Meaning: Processing Texts Automatically. Proceedings of the Biennial GSCL Conference 2009. Tübingen: Narr, 137–145.

2008

Daniel Kühlwein (2008): A Short Introduction To Naproche v0.1, a technical report which describes the checking algorithm.
Shruti Gupta (2008): Internship Report. Rheinische Friedrich-Wilhelms-Universität Bonn.
Bhoomija Ranjan (2008): Internship Report. Rheinische Friedrich-Wilhelms-Universität Bonn.
Nickolay Kolev (2008): Magister thesis, Generating Proof Representation Structures in the Project NAPROCHE, Rheinische Friedrich-Wilhelms-Universität Bonn, defines PRSs and explains how to create them from a Naproche text.

2007

Peter Koepke (2007): The Language of Proofs, talk given March 22, 2007 at a joint session of the Trimestre on Applications of Proof Theory in Mathematics and the Seminar on Formal Mathematics (pdf-slides).
Peter Koepke (2007): A sample Naproche Session, Some applications of the current Naproche version with explanations.

2005

Bernhard Fisseni (2005): ProofML – eine Annotationssprache für natürlichsprachliche mathematische Beweise. In: Bernhard Fisseni, Hans-Christian Schmitz, Bernhard Schröder, Petra Wagner (eds., 2005): Sprachtechnologie, mobile Kommunikation und linguistische Ressourcen. Beiträge zur GLDV-Tagung 2005 in Bonn. Frankfurt: Peter Lang, 604–618.

2003

Bernhard Fisseni (2003): Magister thesis, Die Entwicklung einer Annotationssprache für natürlichsprachlich formulierte mathematische Beweise, Rheinische Friedrich-Wilhelms-Universität Bonn.
Bernhard Schröder, Peter Koepke (2003): ProofML - Eine Annotationssprache für natürliche Beweise. In Uta Seewald-Heeg (ed.): Sprachtechnologie für die multilinguale Kommunikation - Textproduktion, Recherche, Übersetzung, Lokalisierung – Beiträge der GLDV-Frühjahrstagung 2003. St. Augustin: Gardez!-Verlag. (= LDV-Forum 18 = JLCL 2003), 428–441.

Publications

of the Naproche Project

2023

2021

2020

2018

2014

2013

2012

2011

2010

2009

2008

2007

2005

2003