Knowledge Base of
Publications, Seminars, & Math Library

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