Paul Jackson: Publications, Reports and Talks

Refereed Conference and Workshop Publications

Notes and Reports

Draft Papers

Talks

Edited Conference Proceedings

Manuals

PhD Thesis

My PhD thesis entitled Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra is available. abstract , dvi, ps. pdf.

It has also been issued as Cornell University Computer Science Technical Report TR95-1509 which is available from the Cornell University Library Technical Reports and Papers archive.

Hypertext listings for most of the theories I developed for my thesis are available. The listings for each theory include introductions, summaries of definitions and theorems, and formatted proofs. Hypertext listings for the polynomial-related theories are not currently available, but plain PDF listings are:

polynom_1
Class definitions for free abelian monoid, monoid copower, free monoid algebra and polynomial algebra. Without proofs. With proofs.
polynom_2
Implementation of free abelian monoid using a-lists. Without proofs. With proofs.
polynom_3
Implementation of free monoid algebra using a-lists. Without proofs. With proofs.
polynom_4
Combination of implementations from polynom_2 and polynom_3 to form polynomial algebra. Without proofs. With proofs.

Paul Jackson
Last modified: Wed 5 Nov 2014