[Axiom] Progress report
Tim Daly <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=KBPMTO4p9nJXUkJoOMPC+xFWQDUuNuwJE-VJUxP_z9iQ@mail.gmail.com> |
Last night I finished adding Chapter 8 to Axiom's Volume 10.1 https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system) 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. Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer