Logiciels pour les mathématiques fondamentales  
  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.