For the last year the Axiom effort has focused on proving Axiom
correct. There has been much progress on that front. Soon there
will be a survey paper on prior cooperation between computer
algebra systems and proof systems. The work is now entering
a new phase looking at verification.
On that topi
you really have to see this series of videos.
these people have done a truly amazing job.
http://www.dimensions-math.org/Dim_regarder_E_E.htm
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-dev