Présentation du système Sage (aka sagemath)

21 Pages·2014·0French

Pr´esentation du syst`eme Sage
(a.k.a. sagemath)
http://sagemath.org
α∨
1
α∨
2
α∨
0
avecdesboutsdeslidesreprisdeNicolasThi´ery,FrancoSaliola,FlorentHivert,DanDrake,WilliamStein,...
Sage est un logiciel libre
Sage est un logiciel libre
“Mission: Creating a viable free open source alternative to
MapleTM, MathematicaTM, MagmaTM et MATLABTM”
...
(cid:73) Pas besoin d’ˆetre dans un labo riche pour pouvoir l’utiliser
(cid:73) Simplicit´e administrative et technique
(cid:73) Utilisation par les ´etudiant-e-s chez eux
(cid:73) Calcul distant, d´eploiement `a large ´echelle
(cid:73) Libre acc`es aux non universitaires
(cid:73) Libre acc`es pour les pays en voie de d´eveloppement
Mais rien n’empˆeche les riches de contribuer (ANR, ERC, ...).
Sage est un logiciel libre : gratuit comme de la bi`ere
Mais rien n’empˆeche les riches de contribuer (ANR, ERC, ...).
Sage est un logiciel libre : gratuit comme de la bi`ere
(cid:73) Pas besoin d’ˆetre dans un labo riche pour pouvoir l’utiliser
(cid:73) Simplicit´e administrative et technique
(cid:73) Utilisation par les ´etudiant-e-s chez eux
(cid:73) Calcul distant, d´eploiement `a large ´echelle
(cid:73) Libre acc`es aux non universitaires
(cid:73) Libre acc`es pour les pays en voie de d´eveloppement
Sage est un logiciel libre : gratuit comme de la bi`ere
(cid:73) Pas besoin d’ˆetre dans un labo riche pour pouvoir l’utiliser
(cid:73) Simplicit´e administrative et technique
(cid:73) Utilisation par les ´etudiant-e-s chez eux
(cid:73) Calcul distant, d´eploiement `a large ´echelle
(cid:73) Libre acc`es aux non universitaires
(cid:73) Libre acc`es pour les pays en voie de d´eveloppement
Mais rien n’empˆeche les riches de contribuer (ANR, ERC, ...).
Sage est un logiciel libre : acc`es au code source
“You can read Sylow’s Theorem and its proof in
Huppert’s book in the library ... then you can use
Sylow’s Theorem for the rest of your life free of charge,
but for many computer algebra systems license fees have
to be paid regularly ....
With this situation two of the most basic rules of conduct
in mathematics are violated: In mathematics information
is passed on free of charge and everything is laid
open for checking.”
— J. Neubu¨ser (1993)
(fondateur de GAP en 1986)
Sage est un logiciel libre : acc`es au code source
(cid:73) Enseignement
(cid:73) Reproductibilit´e des r´esultats scientifiques
(cid:73) V´erification de d´emonstrations
(cid:73) Maˆıtrise des hypoth`eses, mod`eles et algorithmes
(cid:73) Analyse de bogues ou de comportements surprenants
Sage est un logiciel libre : mutualisation
Construire un v´elo au lieu de r´einventer la roue
Arithm´etique en pr´ecision arbitraire GMP, MPFR, MPFI, NTL
Alg`ebre GAP, Maxima, Singular, Givaro
G´eom´etrie alg´ebrique Singular, Macaulay2 (optionnel)
Th´eorie des nombres PARI/GP, NTL, ecm
Courbes elliptiques ECLib, mwrank
Calcul symbolique Maxima, Sympy
Alg`ebre lin´eaire exacte Linbox, IML
Alg`ebre lin´eaire num´erique Atlas, Blas, GSL, Scipy, Numpy, LAPACK
Combinatoire Symmetrica, Lrcalc, PALP, Coxeter 3, Chevie
Th´eorie des graphes NetworkX, graphviz (optionel)
Th´eorie des groupes GAP
Statistiques R, Rpy
... parmi d’autres!
Sage est un logiciel libre : mutualisation
Sage contient aussi une biblioth`eque native
(cid:73) 750k lignes de code
(cid:73) 5344 classes
(cid:73) 54110 fonctions
(cid:73) Contenu math´ematique riche: cat´egories, combinatoire,
graphes, th´eorie des nombres, ...
(cid:73) De nombreux algorithms exclusifs
Partager le d´eveloppement pour se focaliser sur le code sp´ecifique
`a sa propre recherche.