The goal of the JEM thematic network is to pool together the required expertise and to contribute to the coordination of content enrichment activities in the area of mathematics, to the maintenance of agreed standards and to the delivery of powerful synoptic high-quality user information and support pages, invoked in e-learning platforms operated by the partners.
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.
BASIC LIBRARY LIST
OUR GOALS:
The Basic Library List contains a list of books in the mathematical sciences recommended for college, high school, and public libraries. It is designed to provide students with introductory sources that might not be part of their curriculum; to provide reading material that is collateral to regular courses; to provide faculty with reference material that is relevant to their teaching; and to provide appropriate references for students in disciplines that use the mathematical sciences.
Originally issued in print form in 1965, 1976, and 1992, the Basic Library List is now being revised and updated by the Committee on the Undergraduate Program in Mathematics (CUPM). The version currently on-line is the 1992 edition, supplemented by full text search capabilities. Updates will be made regularly in the future.