The Theory behind TheoryMine
Artikel i vetenskaplig tidskrift, 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

Författare

A. Bundy

University of Edinburgh

F. Cavallo

L. Dixon

Moa Johansson

Chalmers, Data- och informationsteknik, Programvaruteknik

R. McCasland

University of Edinburgh

IEEE Intelligent Systems

1541-1672 (ISSN)

Vol. 30 64-69

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Datorseende och robotik (autonoma system)

DOI

10.1109/MIS.2015.42