based on Andreas' PhD thesis. His TeX sources greatly simplified
The Visiting Scholar position allowed me to complete the necessary
background library work quickly. It also gave me access to a rich
collection of further research leads.
This chapter will form the skeleton for the next phase of research on
proving Axiom correct. This next phase will focus on the overall plan
I am open to suggestions about what conference might be the best
forum for publishing papers on this subject.