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

Areas of Advance

Information and Communication Technology

Subject Categories

Computer Vision and Robotics (Autonomous Systems)

DOI

10.1109/MIS.2015.42

More information

Latest update

2/28/2018