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 4 64-69 7106401Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Datorseende och robotik (autonoma system)
DOI
10.1109/MIS.2015.42