#
Knowledge Base of

Publications,
Seminars,
& Math Library

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

## Filter for: Paul B. Jackson

22 results

*
Constructive Factorization Theory *

by Paul B. Jackson

August 19, 1999

*
Constructive General Algebra *

by Paul B. Jackson

August 19, 1999

*
Finite Multi-Sets *

by Paul B. Jackson

August 19, 1999

*
Permutations vol. 1 *

by Paul B. Jackson

August 19, 1999

*
Permutations vol. 2 *

by Paul B. Jackson

August 19, 1999

*
Verifying Garbage Collection Algorithms using the PVS Theorem Prover *

by Paul B. Jackson

May 07, 1997

*
Formalizing Automata Theory I: Finite Automata *
| cite »

by Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe

1996

*
The Nuprl Proof Development System, Version 4.2 Reference Manual and User's Guide *
| cite »

by Paul B. Jackson

1996

*
Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra *
| cite »

by Paul B. Jackson

1995

*
Developing Set Theory in HOL *

by Paul B. Jackson

February 28, 1995

*
Verifying an Implementation of a Polynomial Algebra ADT *

by Paul B. Jackson

November 29, 1994

*
Exploring Abstract Algebra in Constructive Type Theory *
| cite »

by Paul B. Jackson

1994

*
Towards Integrated Systems for Symbolic Algebra and Formal Constructive Mathematics *
| cite »

by Robert L. Constable, Paul B. Jackson

1994

*
The MIZAR Project *

by Paul B. Jackson

February 15, 1994

*
Editor Demonstration *

by Paul B. Jackson

March 09, 1993

*
Structuring Proofs *

by Douglas J. Howe, Paul B. Jackson

October 27, 1992

*
Defining Polynomials in Constructive Type Theory *

by Paul B. Jackson

1992-1993

*
Nuprl and Its Use in Circuit Design *
| cite »

by Paul B. Jackson

1992

*
Nuprl 3 vs. Nuprl 4 *

by Paul B. Jackson

November 05, 1991

*
Developing a Toolkit for Floating-Point Hardware in the Nuprl Proof Development System *
| cite »

by Paul B. Jackson

1991

*
Using Nuprl to Verify Floating Point Hardware *

by Paul B. Jackson

April 17, 1990

*
Logic-Based Knowledge Representation *
| cite »

by Paul B. Jackson

1989