Crossmark

Reliability of mathematical inference

Crossref DOI link: https://doi.org/10.1007/s11229-019-02524-y

Published Online: 2020-01-14

Published Print: 2021-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Avigad, Jeremy https://orcid.org/0000-0003-1275-315X
Funding

Funding for this research was provided by:

Air Force Office of Scientific Research (FA9550-18-1-0120)

Alfred P. Sloan Foundation
License Information

Text and Data Mining valid from 2020-01-14

Version of Record valid from 2020-01-14
More Information

Article History

Received: 28 August 2019

Accepted: 17 December 2019

First Online: 14 January 2020