MizAR 40 for Mizar 40

As a present to Mizar on its 40th anniversary, we develop an AI/ATP system that in 30 seconds of real time on a 14-CPU machine automatically proves 40 % of the theorems in the latest official version of the Mizar Mathematical Library (MML). This is a considerable improvement over previous performanc...

Full description

Saved in:
Bibliographic Details
Published in:Journal of automated reasoning 2015-10, Vol.55 (3), p.245-256
Main Authors: Kaliszyk, Cezary, Urban, Josef
Format: Article
Language:English
Subjects:
Artificial Intelligence
Computer Science
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Symbolic and Algebraic Manipulation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!