Table des matières :

• Applications
• Bibliographie
• Communautés et institutions
• Congrès et conférences
• Equipes et laboratoire de calcul formel

Applications

Réalisations informatiques de la communauté française de calcul formel

• PARI/GP, une grande référence en théorie des nombres.
• Gb/RS , système de résolution d'équations algébriques et de calcul des zéros réels, par Jean-Charles Faugère - LIP6/Paris VI et Fabrice Rouillier - LORIA/Nancy.
• SciLab, logiciel de calcul scientifique par l' INRIA.
• Informations et introduction à Maple par Paul Zimmermann - INRIA-Lorraine.
• Synaps (Galaad)
• GNU TeXmacs : éditeur de texte scientifique.
  
• Kronecker : package pour Magma. Système de résolution pour équation polynomiale et inéquation.
• MPFR : bibliotheques de calcul flottant multiprecision.
• Algolib : The Algorithms Project's Library and Other Packages of the Algorithms Project.

Liste de logiciels de calcul formel

• Liste de logiciels de calcul formel libres, maintenue par Paul Zimmermann.
• Liste des logiciels de calcul formel du site : Mathematics - Computer Algebra Systems.
• Les pages de Fabrice Rouillet et Paul Zimmermann (INRIA Lorraine).

Autre liens

• Comparison of other software to MPFR  : Comparaison de differentes bibliotheques de calcul flottant multiprecision pour MPFR 2.0.3.

Communautés et institutions

• Mathématiques au CNRS
• Des autres pointeurs mathématiques
• Une sélection de bibliothèques

Congrès et conférences

• Les congrès internationaux,page maintenue par Bernard Mourrain.
  

Bibliographie

• The collection of Computer Science Bibliographies
  

Equipes et laboratoires de calcul formel

En France

• Le Centre de Calcul MEDICIS - Laboratoire STIX
  
• Laboratoire LMC de l'IMAG - Grenoble
• Projet Galaad de l'INRIA Sophia-Antipolis
• Projet Algo de l'INRIA Rocquencourt
• Pôle "Algorithmique et Calcul Formel" du GDR ALP
• PRC Math-Info
• SPACES : Systèmes Polynomiaux, Arithmétiques, Calculs Efficaces et Sûrs (projet)

A l'étranger

• Université de Santander - Espagne.
• Université de Pise - Italie
• Université de Passau - Allemagne
• Institut RISC de Linz - Autriche
• Computer Algebra Information Network (CAIN)
• FIZ (Fachinformationszentrum Karlsruhe) - Allemagne
• Université de Bruxelles - Belgique
• SymbolicNet, Kent University - USA
  
• CAIN : Europe (Computer Algebra Information Network)
• Le site de l'UPS (Union des Professeurs de Spéciales)
• OpenMath : projet de standard pour représenter les objets mathématiques de sorte qu'ils puissent être échangés entre ordinateurs et programmes, et sauvegardés dans des bases de données.