SDV Vol. 38. 1-2/2014: The language of mathematics computational, linguistic and logical aspects

Cover: SDV 1-2/2014

SDV. Sprache und Datenverarbeitung
International Journal for Language Data Processing
Heft 1-2/2014: The language of mathematics computational, linguistic and logical aspects

(Hg.: Hermann Cölfen, Ulrich Schmitz, Bernhard Schröder)

ISSN: 0343-5202

Seiten: 120
E-Book: 50,00 €
ISBN:978-3-95605-024-4
Dieser Titel ist nur noch als E-Book verfügbar.

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

Zurück