[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [Axiom] Progress report

From: Tim Daly
Subject: [Axiom-developer] [Axiom] Progress report
Date: Mon, 3 Jul 2017 08:31:57 -0400

Last night I finished adding Chapter 8 to Axiom's Volume 10.1
based on Andreas' PhD thesis. His TeX sources greatly simplified
the task.

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
of attack.

I am open to suggestions about what conference might be the best
forum for publishing papers on this subject.

Thank you.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]