Zeta types and Tannakian symbols as a method for representing mathematical knowledge

DOI10.1007/978-3-319-62075-6_13MaRDI QIDQ2364677zbMATH OpenOpenAlexWikidataFDO

Authors Andreas Holmstrom, Torstein Vik

Publication date 21 July 2017

Full work available at URL https://doi.org/10.1007/978-3-319-62075-6_13

zbMATH Keywords

automated conjecture-makingautomated theorem provingL-functionsmultiplicative functionsnumber theoryTannakian symbolszeta functionszeta types

Mathematics Subject Classification ID

Number theory (11-XX) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1497743
• Type theoretical databases
• Type theoretical databases
• Fingerprint databases for theorems
• Formal representation issues in an open mathematical knowledge base. (Extended abstract)

Cites work

• A holonomic systems approach to special functions identities
• Algorithmic Number Theory
• Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
• Computing zeta functions of arithmetic schemes
• Counting points on hyperelliptic curves in average polynomial time
• Enumerative combinatorics. Volume 2.
• Introduction to arithmetical functions
• Modular forms in quantum field theory
• Some properties of specially multiplicative functions
• Variation of Néron–Severi Ranks of Reductions of K3 Surfaces

Describes a project that uses

Uses Software

• OEIS
• SageMath
• LMFDB
• GitHub

This page was built for publication: Zeta types and Tannakian symbols as a method for representing mathematical knowledge

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