|
From: | Frank Pfenning |
Subject: | Re: [Axiom-developer] [Axiom] Progress report |
Date: | Mon, 3 Jul 2017 09:24:50 -0400 |
Timbackground library work quickly. It also gave me access to a richbased on Andreas' PhD thesis. His TeX sources greatly simplifiedLast night I finished adding Chapter 8 to Axiom's Volume 10.1https://en.wikipedia.org/wiki/Axiom_(computer_algebra_ system) the task.The Visiting Scholar position allowed me to complete the necessarycollection of further research leads.This chapter will form the skeleton for the next phase of research onproving Axiom correct. This next phase will focus on the overall planof attack.I am open to suggestions about what conference might be the bestforum for publishing papers on this subject.Thank you.
[Prev in Thread] | Current Thread | [Next in Thread] |