Implementing Mathematics with The Nuprl Proof Development System (1986)
| Citations: | 135 - 6 self |
BibTeX
@MISC{Constable86implementingmathematics,
author = {Robert L. Constable and Stuart F. Allen and S. F. Allen and H. M. Bromley and W. R. Cleaveland and J. F. Cremer and R. W. Harper and Douglas J. Howe and T. B. Knoblock and N. P. Mendler and P. Panangaden and Scott F. Smith and James T. Sasaki and S. F. Smith},
title = {Implementing Mathematics with The Nuprl Proof Development System},
year = {1986}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Problem solving is a significant part of science and mathematics and is the most intellectually significant part of programming. Solving a problem involves understanding the problem, analyzing it, exploring possible solutions, writing notes about intermediate results, reading about relevant methods, checking results, and eventually assembling a solution. Nuprl is a computer system which provides assistance with this activity. It supports the interactive creation of proofs, formulas, and terms in a formal theory of mathematics
Citations
| 1 | Zucker 75 - Prentice--Hall, NJ - 1984 |
