SDV. Sprache und Datenverarbeitung

In recent years the specialized language of mathematics has become a topic of increased interest among linguists, logicians and computer scientists. This special issue of SDV provides insight into this interdisciplinary field of study through three papers that approach the study of mathematical language from different angles. In addition to these papers related to the main topic this double issue contains a submitted paper about verb classifications.

INHALT:

Marcos Cramer & Bernhard Schröder: Foreword of the special issue of SDV on "The language of mathematics computational, linguistic and logical aspects";

Marcos Cramer: The Naproche system: Proof-checking mathematical texts in controlled natural language;

Jordi Saludes & Sebastian Xambó: Multilingual Tools for Mathematics;

Michael Kohlhase & Mihnea Iancu: Co-Representing Structure and Meaning of Mathematical Documents;

Michael Richter & Roeland van Hout: A classification of German verbs using empirical language data and concepts of Vendler and Dowty