|
|
| The project focuses on implementing computational mathematics and on providing logic-based tools that help automate programming. |
|
|
|
|
|
Prl Project / nuprl@cs.cornell.edu
|
|
To learn what the PRL project is about, you can read the Introduction
and the first chapters of the Nuprl book. These introductions include
many links to other material located at the web site.
|
|
The Mathematics Libraries gives access to hundreds of theorems proved in
the Nuprl proof development system and presented in a form readable
with a web browser.
|
|
Publications lists articles and papers and provides access to PDF, postscript and
html versions. All PhD theses from the project are
accessible at the NCSTRL web site.
|
|
To read about our current research, see Research Projects: there is a
project on distributed system security; one on logical programming
environments; one on educational technology; and one on expressing
computational complexity in programming logics.
|
|
Nuprl System downloads, user documentation, and updates.
|
|
View abstracts and slides from the Nuprl Seminar archives. Search by
Author, Topic or Date.
|
|
People include the current faculty, research staff, students and alumni
of the project. The PhD student pages indicate other research topics
not included in the Project section.
|
|
MetaPRL: System goals, documentation and more.
|
|
Implementing Mathematics with the Nuprl Proof Development system.
|
|
Lectures and courses, links to related academic courses at Cornell,
especially CS611 on Advanced Programming Languages, CS486 on Applied
Logic, CS686 on programming Logic and CS671, an Introduction to
Automated Reasoning.
|
|
Related groups.
|
|
References
to this site according to Google.
|