> Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.
Joli programme ! A suivre donc.
Pour le point (f) ca sera un le premier logiciel a ma connaissance qui utilise du prolog comme langage de script ... c'est pas gagne ;)
[^] # Re: Axiom outragé, Axiom martyrisé mais Axiom libéré !
Posté par Olivier Grisel (site web personnel) . En réponse à la dépêche Axiom outragé, Axiom martyrisé mais Axiom libéré !. Évalué à 3.
Joli programme ! A suivre donc.
Pour le point (f) ca sera un le premier logiciel a ma connaissance qui utilise du prolog comme langage de script ... c'est pas gagne ;)