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