Direkt zum Inhalt | Direkt zur Navigation

Sections
Sie sind hier: Startseite Die Universität Veranstaltungen Wissenschaftszelt2008 Programm Sprache und Mathematik: Kann man Textbedeutungen ausrechnen?

Sprache und Mathematik: Kann man Textbedeutungen ausrechnen?



Präsentation des interdisziplinären Projekts Naproche-Natural Language Proof Checking -Mathematische Texte werden computerlinguistisch analysiert und weiterverarbeitet. Insbesondere wird die Korrektheit von Beweisen automatisch überprüft.
Professor Dr. Peter Koepke
Mathematisches Institut
Telefon: 0228/73-2206
E-Mail: [Email protection active, please enable JavaScript.]

Bernhard Schröder
Linguistik, Universität Duisburg-Essen

http://www.math.uni-bonn.de/people/naproche

Datum: 02. - 05. Juli 2008
Ort: Wissenschaftszelt auf dem Münsterplatz, 53113 Bonn 

--> zurück zur Übersicht

 
Artikelaktionen