vix.ing · top · new · best · stats · spec

Fingerprint databases for theorems

2013/04/13 by Sara C. Billey, Billey, Sara C., Bridget E. Tenner +1
Computer Science · Mathematics · #00-02 #00A20 #Digital Libraries (cs.DL) #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #cs.DL #math.HO #msc:00-02 #msc:00A20

paper · pdf · doi:10.48550/arxiv.1304.3866

to appear in Notices of the AMS

arxiv created 2013/04/13 · arxiv updated 2013/04/16

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.

Related