We present two closely related notions called (1) a zeta type and (2) a Tannakian symbol. These are data types for representing information about number-theoretic objects, and we argue that a database built out of zeta types and Tannakian symbols could lead to interesting discoveries, similar to what has been achieved for example by the OEIS, the LMFDB, and other existing databases of mathematical objects. We give several examples illustrating what database records would look like, and we describe a tiny prototype database which has already been used to find and automatically prove new theorems about multiplicative functions.
CITATION STYLE
Holmstrom, A., & Vik, T. (2017). Zeta types and tannakian symbols as a method for representing mathematical knowledge. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10383 LNAI, pp. 178–192). Springer Verlag. https://doi.org/10.1007/978-3-319-62075-6_13
Mendeley helps you to discover research relevant for your work.