Do mathematicians dream of data?

Slides.

References and links

Intro

• Jacques Carette, William M. Farmer, Michael Kohlhase and Florian Rabe, Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge
• MaRDI, Mathematical Research Data Initiative (Germany)
• Eleanor Robson, “Tables and tabular formatting in Sumer, Babylonia, and Assyria, 2500 BCE-50,” Campbell-Kelly et al (eds). The History of Mathematical Tables from Sumer to Spreadsheets (2003)
• Bill Casselman, The Babylonian tablet Plimpton 322
• John Napier’s Mirifici Logarithmorum Canonis Descriptio (on Wikipedia)
• The Math Tables Project
• The Foster Census of cubic symmetric graphs (on Wolfram Mathworld)
• OEIS
• LMFDB
• House of Graphs
• π-Base
• Steven Clontz, Database-Driven Mathematical Inquiry
• Edgar Costa and David Roe, Zen and the Art of Database Maintenance
• Sara C. Billey and Bridget E. Tenner, Fingerprint Databases for Theorems

Data management

• Wilkinson et al, The FAIR Guiding Principles for scientific data management and stewardship
• The unofficial document on data management
• Boege et al, Research-data management planning in the German mathematical community
• Tim O. F. Conrad, Eloi Ferrer, Daniel Mietchen, Larissa Pusch, Johannes Stegmüller and Moritz Schubotz, Making Mathematical Research Data FAIR: Pathways to Improved Data Sharing
• Klaus Hulek, Fabian Müller, Moritz Schubotz and Olaf Teschke, Mathematical Research Data – An Analysis Through zbMATH References
• Research Data Management Planning in Mathematics
• GO FAIR
• Metadata Standards (by area)
• A sample RDMP questionnaire

Survey

• MathBases
• 100 theorems and 1000+ theorems

Trusting data

• Lean-HoG GitHub
• Andrej Bauer, Katja Berčič, Gauvain Devillez and Jure Taslak, Incorporating a Database of Graphs into a Proof Assistant
• M. Blum and S. Kanna, Designing programs that check their work
• R.M. McConnell, K. Mehlhorn, S. Näher and P. Schweitzer, Certifying algorithms

Miscelaneous

• Conference on Intelligent Computer Mathematics (CICM)