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

DOI10.1007/978-3-319-62075-6_13zbMath1367.68305OpenAlexW2732742328WikidataQ60691784 ScholiaQ60691784MaRDI QIDQ2364677

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

multiplicative functionszeta functionsautomated theorem provingnumber theoryL-functionsautomated conjecture-makingTannakian symbolszeta types

Mathematics Subject Classification ID

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

Uses Software

• SageMath
• OEIS
• LMFDB
• GitHub

Cites Work

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

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