User:Mysterytrey/sandbox/trial 3

my page | my talk page | my contributions



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

edit

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

edit
edit

References

edit
  1. ^ Billey, Sara; Tenner, Bridget (Sept. 2013). "Fingerprint Databases for Theorems" (PDF). Notices of the AMS. 60 (8): 1034–1039. arXiv:1304.3866. Bibcode:2013arXiv1304.3866B. {{cite journal}}: Check date values in: |date= (help); Unknown parameter |class= ignored (help)
  2. ^ Bailey, W.N. (1935). Generalized Hypergeometric Series. Cambridge: Cambridge University Press.

---

http://search.mathweb.org/

http://dml.cz/handle/10338.dmlcz/135602

http://dml.cz/bitstream/handle/10338.dmlcz/135602/Kybernetika_40-2004-3_9.pdf

https://books.google.com/books?id=WW1rCQAAQBAJ&pg=PA255&lpg=PA255&dq=mathematical+%22term+indexing%22&source=bl&ots=poidyshzwP&sig=pgFOnIqeX03navnCzoVx4eZDSak&hl=en&sa=X&ved=0ahUKEwi2-JTFnKrLAhXqs4MKHbK3DwYQ6AEILzAD#v=onepage&q=mathematical%20%22term%20indexing%22&f=false

http://ioan.sucan.ro/files/pubs/aisc06.pdf

https://www.cs.bham.ac.uk/research/groupings/reasoning/

http://www.rowan.edu/colleges/csm/departments/math/facultystaff/nguyen/experimentalmath/MathematicsbyExperimentTextbookSampleChapters.pdf

http://arxiv.org/pdf/1209.3914.pdf

http://www.formulasearchengine.com/

http://uniquation.com/en/

http://webbook.nist.gov/chemistry/form-ser.html

http://arxiv.org/pdf/1401.3690v1.pdf https://www.symbolab.com/