Computer-Assisted Reasoning with Natural Language: Implementing a Mathematical Vernacular

Abstract

This paper presents the Durham Mathematical Vernacular (MV) project. The project aims to develop the technology for interactive tools based on proof checking with type theory, which allow mathematicians to develop mathematics in their usual vernacular. Its sub-goals are to develop type theory technology to support MV and to develop the corresponding NL… (More)

Topics

Cite this paper

@inproceedings{Callaghan1998ComputerAssistedRW, title={Computer-Assisted Reasoning with Natural Language: Implementing a Mathematical Vernacular}, author={Paul Callaghan and Zhaohui Luo}, year={1998} }