Modularity in mathematics

DOI10.1017/S1755020317000387MaRDI QIDQ5221289zbMATH OpenFDO

Authors Jeremy Avigad

Publication date 25 March 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

modularityphilosophy of mathematicsmathematical practice

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) Philosophy of mathematics (00A30)

Recommendations

• Reduction modulo sim and universality
• Modular forms. Abstracts from the workshop held April 27 -- May 3, 2014.
• Modular forms. Abstracts from the workshop held December 15--21, 2019
• scientific article; zbMATH DE number 1643852
• Explicit methods for Hilbert modular forms

Cites work

• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 3784244 (Why is no real title available?)
• scientific article; zbMATH DE number 1178950 (Why is no real title available?)
• scientific article; zbMATH DE number 1452559 (Why is no real title available?)
• scientific article; zbMATH DE number 3326404 (Why is no real title available?)
• scientific article; zbMATH DE number 972600 (Why is no real title available?)
• A machine-checked proof of the odd order theorem
• Binary quadratic forms. An algorithmic approach
• Character and object
• Essays in Constructive Mathematics
• Handbook of automated reasoning. In 2 vols
• Higher composition laws. I: A new view on Gauss composition, and quadratic generalizations
• Logical and semantic purity
• Mathematical method and proof
• Practical foundations for programming languages
• Program development by stepwise refinement
• Riemann's zeta function
• The Architecture of Mathematics
• The Lean theorem prover (system description)
• The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression

Cited in

(8)

• Plans and planning in mathematical proofs
• Discussing Hilbert's 24th problem
• A short note on decomposition and composition of knowledge
• Reduction modulo sim and universality
• scientific article; zbMATH DE number 6174934 (Why is no real title available?)
• Mathematics and the formal turn
• scientific article; zbMATH DE number 4185551 (Why is no real title available?)
• Reliability of mathematical inference

Describes a project that uses

Uses Software

• Lean

This page was built for publication: Modularity in mathematics

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