CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

The Theory behind TheoryMine

A. Bundy ; F. Cavallo ; L. Dixon ; Moa Johansson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; R. McCasland
IEEE Intelligent Systems (1541-1672). Vol. 30 (2015), 4, p. 64-69.
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: automated theorem proving , conjecture generation , intelligent systems , novelty gifts



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-07-28. Senast ändrad 2015-12-17.
CPL Pubid: 220008

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)