**Implementing Mathematics with The Nuprl Proof Development System**

by R. L. Constable, at al.

**Publisher**: Prentice Hall 1986**ISBN/ASIN**: 0134518322**ISBN-13**: 9780134518329

**Description**:

The authors offer a tutorial on the new mathematical ideas which underlie their research. In doing so they have tried to provide several entry points into the material, even at the cost of considerable redundancy. Many of the ideas will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

**The Life of Pi: From Archimedes to Eniac and Beyond**

by

**Jonathan M. Borwein**-

**DocServer**

The desire to understand Pi, the challenge, and originally the need, to calculate ever more accurate values of Pi, has challenged mathematicians for many many centuries, and Pi has provided compelling examples of computational mathematics.

(

**11894**views)

**Mathematics in the Age of the Turing Machine**

by

**Thomas Hales**-

**arXiv**

Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

(

**10147**views)

**Mathematics for Algorithm and Systems Analysis**

by

**Edward A. Bender, S. Gill Williamson**-

**Dover Publications**

This text assists undergraduates in mastering the mathematical language to address problems in the field's many applications. It consists of 4 units: counting and listing, functions, decision trees and recursion, and basic concepts of graph theory.

(

**22063**views)

**Algorithms in Real Algebraic Geometry**

by

**S. Basu, R. Pollack, M. Roy**-

**Springer**

The monograph gives a detailed exposition of the algorithmic real algebraic geometry. It is well written and will be useful both for beginners and for advanced readers, who work in real algebraic geometry or apply its methods in other fields.

(

**11413**views)