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."
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.
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.
The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. At present, it provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.
This library package provides several forward error correction (FEC) decoders and accelerated primitives useful in digital signal processing (DSP). Except for the Reed-Solomon codecs, these functions take full advantage of the MMX, SSE and SSE2 SIMD instruction sets on Intel/AMD IA-32 processors and the Altivec/VMX/Velocity Engine SIMD instruction set on the G4 and G5 PowerPC.
Virginia Tech’s Irving John (Jack) Good, one of the founders of modern Bayesian inference and a member of the World War II code-breaking team at Bletchley Park, died of natural causes on April 5 in Radford
Mathematical software has developed during the last twenty years to an established tool in mathematical research and education. Its importance is meanwhile comparable to that of mathematical literature. In contrast to the various systematic collections of mathematical literature, collections of mathematical software so far only exist in a rudimentary manner. In order to make the existing resources more visible and to use them efficiently, it is indispensable to provide appropriate methods and tools for locating, cataloguing, reviewing, and searching of mathematical software. The intention of the Oberwolfach References on Mathematical Software (ORMS) project is to initiate the developement of a permanent provider of infrastructure.
The original Mandelbrot is an amazing object that has captured the public's imagination for 30 years with its cascading patterns and hypnotically colourful detail. It's known as a 'fractal' - a type of shape that yields (sometimes elaborate) detail forever, no matter how far you 'zoom' into it (think of the trunk of a tree sprouting branches, which in turn split off into smaller branches, which themselves yield twigs etc.).
It's found by following a relatively simple math formula. But in the end, it's still only 2D and flat - there's no depth, shadows, perspective, or light sourcing. What we have featured in this article is a potential 3D version of the same fractal.
Wolfram Alpha to open data feeds Wolfram Alpha, a project from the makers of math software Mathematica, will soon be opening up its data sets, opening up new possibilities for data mash ups
T. Nguyen, K. Chang, and S. Hui. Proceedings of the 21st ACM International Conference on Information and Knowledge Management, page 724--733. New York, NY, USA, ACM, (2012)