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: Strange Attractors: Creating Patterns in ChaosStrange Attractors: Creating Patterns in Chaos
by - M & T Books
Chaos and fractals have revolutionized our view of the world. This book shows examples of the artistic beauty that can arise from very simple equations, and teaches the reader how to produce an endless variety of such patterns.
(21269 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.
(21506 views)
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.
(7661 views)
Book cover: The Life of Pi: From Archimedes to Eniac and BeyondThe Life of Pi: From Archimedes to Eniac and Beyond
by - 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.
(20480 views)