COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Interest Group in Formal Mathematics: Natural Language Proof Checking - The Naproche System

## Interest Group in Formal Mathematics: Natural Language Proof Checking - The Naproche SystemAdd to your list(s) Download to your calendar using vCal - Cramer, M, Koepke, P, Schroeder, B (Universities of Bonn and Duisburg/Essen)
- Wednesday 28 March 2012, 14:00-16:00
- Discussion Room, Newton Institute.
If you have a question about this talk, please contact Mustapha Amrani. Semantics and Syntax: A Legacy of Alan Turing 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. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Discussion Room, Newton Institute
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- bld31
Note that ex-directory lists are not shown. |
## Other listsCivic Matter Faculty Research Group @ CRASSH Pathology Seminars DAK Group Meetings## Other talksBuilding intuition about coherence Intelligent Self-Driving Vehicles Hypergraph Saturation Irregularities How to Design a 21st Century Economy - with Kate Raworth Production Processes Group Seminar - "Advanced water filtration platforms based on hierarchically structured carbon nanotubes." |