Notices of the American Mathematical Society
For issues spanning 1954 to 2015, the complete Tables of Contents (TOCs) are fully accessible only by downloading the entire issue in PDF format. From 2016 onwards, the availability and detail of TOCs have significantly improved.
- Previous Issue
- Volume 47 | Number 5 | May 2000
- Next Issue
Table of Contents
Featured Articles and Invitations from the AMS
Invariant Distances and Metrics in Complex Analysis
Alexander V. Isaev and Steven G. Krantz
The authors work with a variety of distance functions that are defined infinitesimally on complex manifolds, showing how properties of these distances lead to restrictions on the automorphism group of the manifold and sometimes to an identification of the manifold itself.
Mathematics in Barcelona: Time Past, Time Future
Allyn Jackson
Barcelona, the site of the European Congress of Mathematicians in July 2000, boasts four universities and an international center for mathematics research.
Program Verification
Robert P. Kurshan
Program verification--the formal checking of a computer program for correctness--involves steps of reduction and decomposition, as well as a check of the resulting component programs. It provides an economically viable method for testing the design of integrated circuits.