Related data about elliptic curves, abelian varieties, etc.
William A. Stein
Collection of Tables Related to Modular Forms, Elliptic Curves, and Abelian Varieties
The Modular Forms Explorer (PostgreSQL)
The Interactive Modular Forms Explorer (uses ZOPE)
The Stein-Watkins tables of elliptic curves (see also the paper).
Elliptic Curves Information Calculator
PARI & MAGMA Calculator
Bibtex Reference for the Database
Talks About the Database
Lecture Notes
Software
The Princeton Companion to Mathematics
Edited by Timothy Gowers
June Barrow-Green and Imre Leader, associate editors
Book Description | Endorsements
TABLE OF CONTENTS:
A Special Issue on Formal Proof
Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.
(pp. 1363)
Thomas Hales
(pp. 1370)
Formal Proof--The Four-Color Theorem
Georges Gonthier
(pp. 1382)
Formal Proof--Theory and Practice
John Harrison
(pp. 1395)
Formal Proof--Getting Started
Freek Wiedijk
By Julie Rehmeyer
Web edition : Friday, November 14th, 2008
Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.
J. Berner, P. Grohs, G. Kutyniok, and P. Petersen. (2021)cite arxiv:2105.04026Comment: This review paper will appear as a book chapter in the book "Theory of Deep Learning" by Cambridge University Press.
J. Berner, P. Grohs, G. Kutyniok, and P. Petersen. (2021)cite arxiv:2105.04026Comment: This review paper will appear as a book chapter in the book "Theory of Deep Learning" by Cambridge University Press.
J. Berner, P. Grohs, G. Kutyniok, and P. Petersen. (2021)cite arxiv:2105.04026Comment: This review paper will appear as a book chapter in the book "Theory of Deep Learning" by Cambridge University Press.
L. Lyons. (2017)cite arxiv:1708.01007Comment: 26 pages, contribution to the CERN in the Proceedings of the 2015 CERN-Latin-American School of High-Energy Physics, Ibarra, Ecuador, 4 - 17 March 2015.
S. Oviatt, A. Cohen, and N. Weibel. Proceedings of the 15th ACM on International Conference on Multimodal Interaction, page 563--568. New York, NY, USA, ACM, (2013)Workshop.