@inproceedings{VeldmanFisseniSchroederetal.2018,
  author    = {Jip Veldman and Bernhard Fisseni and Bernhard Schr{\"o}der and Peter Koepke},
  title     = {From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics},
  series = {Von der Form zur Bedeutung: Texte automatisch verarbeiten. From Form to Meaning: Processing Texts Automatically. Proceedings of the Biennial GSCL Conference 2009},
  editor    = {Christian Chiarcos and Richard Eckart de Castilho and Manfred Stede},
  publisher = {Narr},
  address   = {T{\"u}bingen},
  isbn      = {978-3-8233-6511-2},
  url       = {https://nbn-resolving.org/urn:nbn:de:bsz:mh39-82578},
  pages     = {137 -- 145},
  year      = {2018},
  abstract  = {We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Structures for their logical validity and adequacy as a proof.},
  language  = {en}
}