Software for fundamental mathematics
Les mathématiques fondamentales font souvent appel à des calculs symboliques :
- Utilisation très ancienne de langages spécialisés comme Lisp,
- Existence de nombreux logiciels libres de calculs symboliques optimisés dans tel ou tel domaine (Axiom, GAP, Maxima, PARI/GP, etc.),
- Émergence récente de Sage, un système écrit en Python permettant l'intégration de nombreux logiciels mathématiques libres.
>>>>