calcul formel

Calcul formel.

En savoir plus sur les logiciels validés

Logiciel validé En savoir plus sur les logiciels à valider

Logiciel à valider En savoir plus sur les logiciels en test

Logiciel en test En savoir plus sur les logiciels archivés

Logiciel archivé
En savoir plus sur les ressources

Ressource

En savoir plus sur les développements Enseignement Supérieur - Recherche

Dév Ens Sup - Recherche En savoir plus

Autres fiches

Atlas : structure et représentations de groupes de Lie réels (calcul formel)
Marc Van Leeuwen - 06/07/10
Bianchi.gp : calcul de domaine fondamental pour les groupes de Bianchi dans l'espace hyperbolique
Laboratoires/Services : Institut Fourier - : CNRS, Univ Grenoble 1 (UJF)
Alexander D. Rahm - 24/10/11
Bianchi.gp : calcul de domaine fondamental pour les groupes de Bianchi dans l'espace hyperbolique
Alexander D. Rahm - 12/04/12
Clé USB logiciels libres pour l'Agrégation de Mathématiques
Type de ressource : CD / Media USB, site web
Violaine Louvet - 19/01/09
FindStat : the Combinatorial Statistic Finder
Type de ressource : base de données, service, site web
Viviane Pons - 07/10/13
GAP 4 : système de calcul effectif en algèbre
Olivier Brunat - 02/11/10
GeoGebra : pour enseigner et apprendre les mathématiques
Fonctionnalités principales : e-learning, exercices (création)
Mathieu Blossier - 07/12/11
Giac/Xcas : le couteau suisse des mathématiques
Fonctionnalités principales : modélisation
Frederic Han - 05/11/10
Giac/Xcas : le couteau suisse des mathématiques
Laboratoires/Services : Institut Fourier - : CNRS, Univ Grenoble 1 (UJF)
Bernard Parisse - 13/02/10
Givaro : C++ library for computer algebra: exact arithmetic and data structures
: LIG, LIP, LIRMM, LJK - : CNRS, ENS Lyon, INP Grenoble, INRIA, Univ Grenoble 1 (UJF), Univ Grenoble 2 (UPMF), Univ Lyon 1 (Claude Bernard), Univ Montpellier 2
Fonctionnalités principales : biblio. informatique, calcul distribué, chiffrement, formation
Jean-Guillaume Dumas - 01/12/08
IntegerVectorsModPermutationGroup : énumeration modulo l'action d'un groupe de permutation
Laboratoires/Services : Labo Maths Orsay - : CNRS, Univ Paris 11
Nicolas Borie - 26/11/12
InvariantRingPermutationGroup : calculs des invariants algébriques d'un groupe de permutations
: Labo Maths Orsay, LIGM - : CNRS, ENPC, ESIEE, Univ Paris 11, Univ Paris-Est Marne-la-Vallée (UPEMLV)
Nicolas Borie - 10/09/13
ipython : interface en ligne de commande optimisée pour le calcul scientifique sous python
Fonctionnalités principales : calcul distribué, langage informatique, visualisation
Jérôme Kieffer - 05/10/12
Kostka : nombres de Kostka et coefficients de Littlewood-Richardson
Laboratoires/Services : Univ Paris 7
Charles Cochet - 24/09/08
Manlab : continuation interactive et analyse de bifurcation de problèmes non-linéaires
Laboratoires/Services : LMA Marseille - : Centrale Marseille, CNRS, Univ Aix-Marseille
Fonctionnalités principales : modélisation
Stéphane Lejeunes - 15/02/10