ISSN: 0002-9920 (Print) 1088-9477 (Electronic)

Email Alerts

AMS Home · About Notices · For Authors · Editors & Staff · Contact · Advertising


	Current Issue: December 2008 Volume 55 Issue 11
	Browse entire issue in PDF
	Jump to issue: Year Issue

Notices Search

Images from selected articles in this issue

Features

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)
Email this

Formal Proof

Thomas Hales

(pp. 1370)
Email this article Email this

Formal Proof--The Four-Color Theorem

Georges Gonthier

(pp. 1382)
Email this article Email this

Formal Proof--Theory and Practice

John Harrison

(pp. 1395)
Email this article Email this

Formal Proof--Getting Started

Freek Wiedijk

(pp. 1408)
Email this article Email this

Communications

WHAT IS...a Period Domain?
James Carlson and Phillip Griffiths

Adventures in Academic Year Undergraduate Research
Kathryn Leonard

Commentary

Letter from the Editor
Job Talk
Andy Magid

Letters to the Editor

Mathematical Omnibus and Roots to Research
A Book Review
Reviewed by Harriett Pollatsek

The Wraparound Universe
A Book Review
Reviewed by George F. R. Ellis

Departments

About the Cover

Mathematics People

Mathematics Opportunities

Inside the AMS

Reference and Book List

Mathematics Calendar

New Publications Offered by the AMS

Classified Advertisements

Meetings and Conferences of the AMS

2008 Notices Index

Meetings and Conferences Table of Contents

Washington Meeting Registration Forms

Advertisers in this issue

AMS Social