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.
automated theorem proving
intelligent systems
conjecture generation
novelty gifts
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-69 7106401Areas of Advance
Information and Communication Technology
Subject Categories
Computer Vision and Robotics (Autonomous Systems)
DOI
10.1109/MIS.2015.42