The Theory behind TheoryMine
Journal article, 2015
The Theory Mine novelty gift company sells the rights to name novel mathematical theorems. The technology is made up of a pipeline of four computer systems that generates recursive theories, then speculates conjectures in those theories and proves the conjectures. All stages of the theorem discovery and proof processes are completely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.
novelty gifts
conjecture generation
intelligent systems
automated theorem proving
Author
A. Bundy
University of Edinburgh
F. Cavallo
L. Dixon
Moa Johansson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
R. McCasland
University of Edinburgh
IEEE Intelligent Systems
1541-1672 (ISSN)
Vol. 30 4 64-69Areas of Advance
Information and Communication Technology
Subject Categories (SSIF 2011)
Computer Vision and Robotics (Autonomous Systems)
DOI
10.1109/MIS.2015.42