Modularity in mathematics

DOI10.1017/S1755020317000387zbMATH Open1439.00026MaRDI QIDQ5221289FDOQ5221289

Authors: Jeremy Avigad 

Publication date: 25 March 2020

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

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

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)

Cites Work

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

Cited In (8)

• 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
• Title not available (Why is that?)
• Reliability of mathematical inference
• Title not available (Why is that?)
• Mathematics and the formal turn

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)