Axiom, le rouleau compresseur du calcul formel initialement développé par IBM (en 1973!), puis commercialisé par le Numerical Algorithms Group jusqu'en 2001, a été libéré en septembre 2002. Les sources sont accessibles depuis fin août sur savannah. Quand je l'avais utilisé (très peu), il y 5 ou 6 ans, le soft était hors de prix et déclinant (pas compétitif devant les jolies interfaces de ses deux concurrents Maple et Mathematica). Il n'empêche que la libération d'un mastodonte pareil change des projets "from scratch": il y a des tonnes de bibliothèques diverses et de la documentation à foison. Et l'intégration avec TeXmacs devrait permettre de disposer rapidement d'une interface attractive.