SDV. Sprache und Datenverarbeitung
International Journal for Language Data Processing. Heft 1-2/2014: The language of mathematics computational, linguistic and logical aspects
1st Edition
Published on 18. May 2016
Book
Paperback/Softback
120 pages
978-3-95605-023-7 (ISBN)
Description
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
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