Volume 59, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 59, Issue 4

December 2017

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

A Formally Verified Proof of the Central Limit Theorem
Jeremy Avigad
Johannes Hölzl
Luke Serafin
OriginalPaper 08 February 2017 Pages: 389 - 423
Formally Proving Size Optimality of Sorting Networks
Luís Cruz-Filipe
Kim S. Larsen
Peter Schneider-Kamp
OriginalPaper 01 February 2017 Pages: 425 - 454
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Bijan Parsia
Nicolas Matentzoglu
Andreas Steigmiller
OriginalPaper Open access 21 February 2017 Pages: 455 - 482
The TPTP Problem Library and Associated Infrastructure
Geoff Sutcliffe
OriginalPaper 17 February 2017 Pages: 483 - 502