This is a collection of short articles designed to provide an introduction to the areas of modern mathematics and pointers to further information, as well as answers to some common (or not!) questions.
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.
Edwin T. Jaynes was one of the first people to realize that probability theory, as originated by Laplace, is a generalization of Aristotelian logic that reduces to deductive logic in the special case that our hypotheses are either true or false. This web
The millenium seemed to spur a lot of people to compile "Top 100" or "Best 100" lists of many things, including movies (by the American Film Institute) and books (by the Modern Library). Mathematicians were not immune, and at a mathematics conference in July, 1999, Paul and Jack Abad presented their list of "The Hundred Greatest Theorems." Their ranking is based on the following criteria: "the place the theorem holds in the literature, the quality of the proof, and the unexpectedness of the result."
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.
FFTW is a C subroutine library for computing the discrete Fourier transform (DFT) in one or more dimensions, of arbitrary input size, and of both real and complex data (as well as of even/odd data, i.e. the discrete cosine/sine transforms or DCT/DST). We believe that FFTW, which is free software, should become the FFT library of choice for most applications.
This is a tutorial on vector algebra and matrix algebra from the viewpoint of computer graphics. It covers most vector and matrix topics needed to read college-level computer graphics text books. Most graphics texts cover these subjects in an appendix, but it is often too short. This tutorial covers the same material at greater length, and with many examples.
# R is a free software environment for statistical computing and graphics. It compiles and runs on a wide variety of UNIX platforms, Windows and MacOS. To download R, please choose your preferred CRAN mirror. # If you have questions about R like how to do
If you studied math, science, or engineering at a four-year college in the US, much of what you learned is useless, forgotten, or obsolete. All that money, all that time, all that wasted talent. If all we lost were a few years, no big deal. But the really
The digital footprint of Gian-Carlo Rota
16-18 February 2009 - Milan, Italy
The conference is a tribute to the memory of Gian-Carlo Rota, one of the most influential mathematicians of the second half of the 20th century, a founder of modern Combinatorics, and a developer of the philosophical line of thought rooted in the research of Husserl, Heidegger, and Ortega y Gasset.
Gian-Carlo Rota's intellectual footprint lies at the crossroads between modern mathematics, phenomenology, and advanced computer science. His legacy is still fostering innovative research in multiple fields.
Gian-Carlo Rota's activity both in the US and in Europe (with a special attention to Italy) established a strong link between research communities on different sides of the Atlantic whose effects are still felt to these days.
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.