This book contains a collection of articles corresponding to some of the talks delivered at the Foundations of Computational Mathematics conference held at IMPA in Rio de Janeiro in January 1997. Some ofthe others are published in the December 1996 issue of the Journal of Complexity. Both of these publications were available and distributed at the meeting. Even in this aspect we hope to have achieved a synthesis of the mathematics and computer science cultures as well as of the disciplines. The reaction to the Park City meeting on Mathematics of Numerical Analy sis: Real Number Algorithms...

Most works of art, whether illustrative, musical or literary, are created subject to a set of constraints. In many (but not all) cases, these constraints have a mathematical nature, for example, the geometric transformations governing the canons of J. S. Bach, the various projection systems used in classical painting, the catalog of symmetries found in Islamic art, or the rules concerning poetic structure. This fascinating book describes geometric frameworks underlying this constraint-based creation. The author provides both a development in geometry and a description of how these frameworks...