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)

Full work available at URL https://doi.org/10.1017/S1755020317000387

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)

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

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)