Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless
From MaRDI portal
Publication:3305493
DOI10.1007/978-981-15-1960-4_8zbMath1445.62330arXiv1907.05947OpenAlexW2999005119MaRDI QIDQ3305493
Publication date: 7 August 2020
Published in: Communications in Computer and Information Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.05947
Foundations and philosophical topics in statistics (62A01) Statistical aspects of big data and data science (62R07)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- The homomorphism lattice induced by a finite algebra
- Lectures on the Curry-Howard isomorphism
- How to accuse the other guy of lying with statistics
- An invitation to reproducible computational research
- A Short Presentation of Coq
- Proofs and Refutations
- Excuse Me, Do You Have a Moment to Talk About Version Control?
This page was built for publication: Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless