Paul Jackson: Publications, Reports and Talks

Refereed Conference and Workshop Publications


Draft Papers


Edited Conference Proceedings


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. The listings for the polynomial-related theories are not included at the moment, but might be in the future.

Paul Jackson
Last modified: Thu 30 Jan 2014