| 释义 |
- Definition
- Examples of fingerprint databases for theorems
- External links
- References
{{AFC submission|d|nn|u=The tree stump|ns=118|decliner=David.moreno72|declinets=20180304112806|ts=20180304082929}} {{AFC submission|d|nn|u=The tree stump|ns=118|decliner=SwisterTwister|declinets=20160205203555|small=yes|ts=20160202121516}} {{AFC submission|d|nn|declinets=20140416122954|decliner=Arthur goes shopping|u=The tree stump|ns=118|small=yes|ts=20140325091741}} {{AFC comment|1=This was already discussed at WikiProject_Mathematics/Archive/2014/Mar#AfC_submission_-_25.2F03, and the points raised then still stand. There needs to be other secondary sources that discuss the topic. David.moreno72 11:28, 4 March 2018 (UTC)}}{{AFC comment|1=This has been around a long time and has been worked on by many editors. What is needed before it is mainspaced? Legacypac (talk) 07:42, 4 March 2018 (UTC)}}{{AFC comment|1=This is actually conceivably notable and I would've accepted but this still needs any further available in-depth sources overall. SwisterTwister talk 20:35, 5 February 2016 (UTC)}}{{AFC comment|1=The comments mentioned on 27th March have now been archived to https://en.wikipedia.org/wiki/Wikipedia_talk:WikiProject_Mathematics/Archive/2014/Mar#AfC_submission_-_25.2F03 Arthur goes shopping (talk) 12:29, 16 April 2014 (UTC)}}{{AFC comment|1=See comments here. FoCuSandLeArN (talk) 02:30, 27 March 2014 (UTC)}}
{{for|fingerprint in other contexts|Fingerprint (disambiguation)}}In mathematics, a fingerprint database for theorems is any collection of theorems uniquely identified by a small canonical form which is independent of specialized notation or vocabulary[1] . Such collections were first available in book format[2], but now the web hosts the majority of such collections. A key feature of web-based fingerprint databases is that anyone can access the collection and anyone can contribute. The best known fingerprint database for theorems is the On-Line Encyclopedia of Integer Sequences created by Neil Sloane. Other examples are listed below. Wikipedia, the Math ArXiv, and the searchable part of the internet also include vast collections of theorems. However, these are not considered as having fingerprints based on the key features of a small canonical language – independent fingerprint. Definition A fingerprint database for theorems is a collection of mathematical information along with a method to uniquely or nearly uniquely distinguish each theorem in its collection in such a way that satisfies the following properties: - Canonical: To each theorem in the collection, one can associate an appropriate fingerprint.
- Language-independent: The method of fingerprinting cannot depend on specialized vocabulary.
- References: The fingerprint must point the user to references in the literature where the theorem is proved or is used.
- Small: A fingerprint must be small enough that it is easily stored or computed.
- Universality: It covers a range of topics.
Examples of fingerprint databases for theorems - Online Encyclopedia of Integer Sequences
- Database of Permutation Pattern Avoidance
- Findstat – The Combinatorial Statistic Finder
- manYPoints – Table of Curves with Many Points
External links - Jordan Ellenberg's blog Quomodocumque
- Bridget Tenner presenting examples of Fingerprint databaeses at a conference in honor of Richard Stanley, slides, [https://vimeo.com/109813741 Video]
- Siobhan Roberts' blog How to Build a Search Engine for Mathematics
- [https://www.springer.com/us/book/9783319207612 Perspectives on Interrogative Models of Inquiry]
- Charles Greathouse's list of Fingerprint databases for theorems
- Developing a 21st Century Global Library for Mathematics Research
References 1. ^{{cite journal|authorlink=Sara Billey| last1=Billey|first1=Sara|first2=Bridget |last2=Tenner|title=Fingerprint Databases for Theorems|journal=Notices of the AMS|date=September 2013|volume=60|issue=8|pages=1034–1039|url=http://www.ams.org/notices/201308/rnoti-p1034.pdf| bibcode=2013arXiv1304.3866B| arxiv=1304.3866}}
2. ^{{cite book|last=Bailey|first=W.N.|title=Generalized Hypergeometric Series|date=1935|publisher=Cambridge University Press|location=Cambridge}}
{{AfC postpone G13|3}} |