Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
The online version of the original article can be found at http://dx.doi.org/10.1007/s10817-014-9303-3
Rights and permissions
About this article
Cite this article
Kaliszyk, C., Urban, J. Erratum to : Learning-Assisted Automated Reasoning with Flyspeck. J Autom Reasoning 54, 99 (2015). https://doi.org/10.1007/s10817-014-9315-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-014-9315-z