Alignments for data
Slides.
References and links
Intro and overview
- 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
- MathBases
- The image of the python eating the elephant is from the Le Petit Prince by Antoine de Saint-Exupéry (1943)
Concepts
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
- 100 theorems and 1000+ theorems
Symmetric objects
Lean-HoG