Fingerprint databases for theorems

DOI10.1090/NOTI1029MaRDI QIDQ3193031zbMATH OpenOpenAlexWikidataFDO

Authors Sara Billey, Bridget Eileen Tenner

Publication date 14 October 2015

Published in Notices of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.3866

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Abstract: We discuss the advantages of searchable, collaborative, language-independent databases of mathematical results, indexed by "fingerprints" of small and canonical data. Our motivating example is Neil Sloane's massively influential On-Line Encyclopedia of Integer Sequences. We hope to encourage the greater mathematical community to search for the appropriate fingerprints within each discipline, and to compile fingerprint databases of results wherever possible. The benefits of these databases are broad - advancing the state of knowledge, enhancing experimental mathematics, enabling researchers to discover unexpected connections between areas, and even improving the refereeing process for journal publication.

Recommendations

• DiscreteZOO: towards a fingerprint database of discrete objects
• The importance of databases in mathematics
• \texttt{Findstat} -- a database and search engine for combinatorial statistics and maps
• Mathematical Knowledge Management
• Completeness of reference databases, old-fashioned or not?

Cited in

(10)

• DiscreteZOO: towards a fingerprint database of discrete objects
• DiscreteZOO: a fingerprint database of discrete objects
• \texttt{Findstat} -- a database and search engine for combinatorial statistics and maps
• Zeta types and Tannakian symbols as a method for representing mathematical knowledge
• The Heterogeneity of Mathematical Research
• Eigenvectors from eigenvalues: a survey of a basic identity in linear algebra
• Homomesies on permutations: An analysis of maps and statistics in the FindStat database
• Completeness of reference databases, old-fashioned or not?
• ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
• Zen and the art of database maintenance

Describes a project that uses

Uses Software

• OEIS
• DPPA
• FindStat
• ATLAS Group Representations

This page was built for publication: Fingerprint databases for theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3193031)