![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Wednesday 28 March 2012, 14:00-16:00
Interest Group in Formal Mathematics: Natural Language Proof Checking - The Naproche System
⚠️ Important: Semantics and Syntax: A Legacy of Alan Turing
- 👤 Speaker: Cramer, M, Koepke, P, Schroeder, B (Universities of Bonn and Duisburg/Essen)
- 📅 Date & Time: Wednesday 28 March 2012, 14:00 - 16:00
- 📍 Venue: Discussion Room, Newton Institute
Questions? Contact
Mustapha Amrani
Abstract
We shall present the Naproche Proof Checking System which accepts mathematical text formulated in a controlled natural language close to the mathematical vernacular. The project involves work on several levels: linguistics for processing the input language, logic for providing natural proof methods, and mathematics for the formalization process and background theories. We shall shall discuss some “natural” example texts acceptable by the System.
Series This talk is part of the Isaac Newton Institute Seminar Series series.
Included in Lists
- All CMS events
- bld31
- dh539
- Discussion Room, Newton Institute
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
Note: Ex-directory lists are not shown.