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 …
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
2011
DOI
10.1007/978-3-642-22673-1_23
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743