Erratum to: ``Learning-assisted automated reasoning with Flyspeck

DOI10.1007/S10817-014-9315-ZMaRDI QIDQ2352503zbMATH OpenOpenAlexFDO

Authors Cezary Kaliszyk, Josef Urban

Publication date 2 July 2015

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-014-9315-z

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Describes a project that uses

Uses Software

• Flyspeck

This page was built for publication: Erratum to: ``Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2352503)