Centre de Calcul MEDICIS
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
Equipes et laboratoires de calcul formel
En FranceA l'étranger
- 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)
- 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.