Home
Scholarly Works
MathScheme: Project Description
Conference

MathScheme: Project Description

Abstract

The mission of mechanized mathematics is to develop software systems that support the process people use to create, explore, connect, and apply mathematics. Working mathematicians routinely leverage a powerful synergy between deduction and computation. The artificial division between (axiomatic) theorem proving systems and (algorithmic) computer algebra systems has broken this synergy. To significantly advance mechanized mathematics, this synergy needs to be recaptured within a single framework. MathScheme [6] is a long-term project being pursued at McMaster University with the aim of producing such a framework in which formal deduction and symbolic computation are tightly integrated. In the short-term, we are developing tools and techniques to support this approach, with the long-term objective to produce a new system.

Authors

Carette J; Farmer WM; O’Connor R

Series

Lecture Notes in Computer Science

Volume

6824

Pagination

pp. 287-288

Publisher

Springer Nature

Publication Date

August 11, 2011

DOI

10.1007/978-3-642-22673-1_23

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743
View published work (Non-McMaster Users)

Contact the Experts team