Logo

Implementing Mathematics with The Nuprl Proof Development System

Small book cover: Implementing Mathematics with The Nuprl Proof Development System

Implementing Mathematics with The Nuprl Proof Development System
by

Publisher: Prentice Hall
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.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Curves and Surfaces in Geometric Modeling: Theory and AlgorithmsCurves and Surfaces in Geometric Modeling: Theory and Algorithms
by - 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.
(6505 views)
Book cover: An Architecture for Combinator Graph ReductionAn Architecture for Combinator Graph Reduction
by - 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.
(15893 views)
Book cover: Pictures of Julia and Mandelbrot SetsPictures of Julia and Mandelbrot Sets
- Wikibooks
The purpose of this book is to show how the computer can draw technically perfect pictures of Julia and Mandelbrot sets. All the necessary theory is explained and some words are said about how to put the things into a computer program.
(14705 views)
Book cover: Axiom: The Scientific Computation SystemAxiom: The Scientific Computation System
by - axiom-developer.org
Axiom is a free general purpose computer algebra system. The book gives a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms developed by the symbolic computation community, and presents advanced techniques.
(21554 views)