A replication crisis in mathematics?
From MaRDI portal
Publication:2154145
DOI10.1007/S00283-020-10037-7zbMATH Open1495.01051OpenAlexW3135473003MaRDI QIDQ2154145FDOQ2154145
Publication date: 14 July 2022
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00283-020-10037-7
Cites Work
- On proof and progress in mathematics
- Inter-universal Teichmüller theory. IV: Log-volume computations and set-theoretic foundations
- Theorem Proving in Higher Order Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proofs from THE BOOK
- Title not available (Why is that?)
- Linear Programs for the Kepler Conjecture
This page was built for publication: A replication crisis in mathematics?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154145)