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: 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.
(16372 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
(16979 views)
Book cover: Numerical Algorithms: Methods for Computer Vision, Machine Learning, and GraphicsNumerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphics
by - CRC Press
Using examples from a broad base of computational tasks, including data processing and computational photography, the book introduces numerical modeling and algorithmic design from a practical standpoint and provides insight into theoretical tools.
(9027 views)
Book cover: Mathematical Illustrations: A Manual of Geometry and PostScriptMathematical Illustrations: A Manual of Geometry and PostScript
by - Cambridge University Press
The author gives an introduction to basic features of the PostScript language and shows how to use it for producing mathematical graphics. The book includes the discussion computer graphics and some comments on good style in mathematical illustration.
(20458 views)