//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Paul B. Jackson

22 results


Math Book Constructive Factorization Theory
by Paul B. Jackson
August 19, 1999

Math Book Constructive General Algebra
by Paul B. Jackson
August 19, 1999

Math Book Finite Multi-Sets
by Paul B. Jackson
August 19, 1999

Math Book Permutations vol. 1
by Paul B. Jackson
August 19, 1999

Math Book Permutations vol. 2
by Paul B. Jackson
August 19, 1999

Seminar Verifying Garbage Collection Algorithms using the PVS Theorem Prover
by Paul B. Jackson
May 07, 1997

Publication Formalizing Automata Theory I: Finite Automata | cite »
by Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe
1996

Publication The Nuprl Proof Development System, Version 4.2 Reference Manual and User's Guide | cite »
by Paul B. Jackson
1996

Publication Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra | cite »
by Paul B. Jackson
1995

Seminar Developing Set Theory in HOL
by Paul B. Jackson
February 28, 1995

Seminar Verifying an Implementation of a Polynomial Algebra ADT
by Paul B. Jackson
November 29, 1994

Publication Exploring Abstract Algebra in Constructive Type Theory | cite »
by Paul B. Jackson
1994

Publication Towards Integrated Systems for Symbolic Algebra and Formal Constructive Mathematics | cite »
by Robert L. Constable, Paul B. Jackson
1994

Seminar The MIZAR Project
by Paul B. Jackson
February 15, 1994

Seminar Editor Demonstration
by Paul B. Jackson
March 09, 1993

Seminar Structuring Proofs
by Douglas J. Howe, Paul B. Jackson
October 27, 1992

Seminar Defining Polynomials in Constructive Type Theory
by Paul B. Jackson
1992-1993

Publication Nuprl and Its Use in Circuit Design | cite »
by Paul B. Jackson
1992

Seminar Nuprl 3 vs. Nuprl 4
by Paul B. Jackson
November 05, 1991

Publication Developing a Toolkit for Floating-Point Hardware in the Nuprl Proof Development System | cite »
by Paul B. Jackson
1991

Seminar Using Nuprl to Verify Floating Point Hardware
by Paul B. Jackson
April 17, 1990

Publication Logic-Based Knowledge Representation | cite »
by Paul B. Jackson
1989