**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

**Curves and Surfaces in Geometric Modeling: Theory and Algorithms**

by

**Jean Gallier**-

**Morgan Kaufmann**

This book offers both a theoretically unifying understanding of polynomial curves and surfaces and an effective approach to implementation that you can bring to bear on your own work -- whether you are a graduate student, scientist, or practitioner.

(

**3477**views)

**Art Gallery Theorems and Algorithms**

by

**Joseph O'Rourke**-

**Oxford University Press**

Art gallery theorems and algorithms are so called because they relate to problems involving the visibility of geometrical shapes and their internal surfaces. This book explores generalizations and specializations in these areas.

(

**16134**views)

**An Architecture for Combinator Graph Reduction**

by

**Philip J. Koopman, Jr.**-

**Academic Press**

The results of cache-simulation experiments with an abstract machine for reducing combinator graphs are presented. The abstract machine, called TIGRE, exhibits reduction rates that compare favorably with previously reported techniques.

(

**12681**views)

**Mathematics for Computer Scientists**

by

**Gareth J. Janacek, Mark L. Close**-

**BookBoon**

In this textbook you will find the basic mathematics needed by computer scientists. It should help you to understand the meaning of mathematical concepts. Subjects as elementary logic, factorization, plotting functions and matrices are explained.

(

**22649**views)