Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf ·...

27
Qu’est-ce que Sage ? Sage : pour les doctorants Live demo Premier pas Sage : un logiciel de calcul formel pour les doctorants Viviane Pons Journ´ ee des doctorants EDMSTIC 22 juin 2011 Viviane Pons Calcul formel avec Sage

Transcript of Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf ·...

Page 1: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage : un logiciel de calcul formel pour les doctorants

Viviane Pons

Journee des doctorants EDMSTIC

22 juin 2011

Viviane Pons Calcul formel avec Sage

Page 2: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Qu’est ce que Sage ?

I Un logiciel de calcul formel cree en 2005

I Un logiciel libre et gratuit

I Un ensemble d’interfaces : Atlas, GAP, GMP, Linbox, Maxima,MPFR, PARI/GP, NetworkX, NTL, Numpy/Scipy, Singular,Symmetrica, ...

Viviane Pons Calcul formel avec Sage

Page 3: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Qu’est ce que Sage ?

I Un logiciel de calcul formel cree en 2005

I Un logiciel libre et gratuit

I Un ensemble d’interfaces : Atlas, GAP, GMP, Linbox, Maxima,MPFR, PARI/GP, NetworkX, NTL, Numpy/Scipy, Singular,Symmetrica, ...

Viviane Pons Calcul formel avec Sage

Page 4: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Qu’est ce que Sage ?

I Un logiciel de calcul formel cree en 2005

I Un logiciel libre et gratuit

I Un ensemble d’interfaces : Atlas, GAP, GMP, Linbox, Maxima,MPFR, PARI/GP, NetworkX, NTL, Numpy/Scipy, Singular,Symmetrica, ...

Viviane Pons Calcul formel avec Sage

Page 5: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Qu’est ce que Sage ?

I Un logiciel de calcul formel cree en 2005

I Un logiciel libre et gratuit

I Un ensemble d’interfaces : Atlas, GAP, GMP, Linbox, Maxima,MPFR, PARI/GP, NetworkX, NTL, Numpy/Scipy, Singular,Symmetrica, ...

Viviane Pons Calcul formel avec Sage

Page 6: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, une communaute

Viviane Pons Calcul formel avec Sage

Page 7: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, de la programmation avancee

I Langage : Python

I Problematique : trouver les structures les plus adaptees auxmathematiques

I Structures objet avancees, architechture complexe

Viviane Pons Calcul formel avec Sage

Page 8: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, de la programmation avancee

I Langage : Python

I Problematique : trouver les structures les plus adaptees auxmathematiques

I Structures objet avancees, architechture complexe

Viviane Pons Calcul formel avec Sage

Page 9: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, de la programmation avancee

I Langage : Python

I Problematique : trouver les structures les plus adaptees auxmathematiques

I Structures objet avancees, architechture complexe

Viviane Pons Calcul formel avec Sage

Page 10: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, de la programmation avancee

I Langage : Python

I Problematique : trouver les structures les plus adaptees auxmathematiques

I Structures objet avancees, architechture complexe

Viviane Pons Calcul formel avec Sage

Page 11: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, un logiciel jeune

I Des bugs

I Des incoherences

I des zones ”vierges” ou non documentees

Viviane Pons Calcul formel avec Sage

Page 12: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, un logiciel jeune

I Des bugs

I Des incoherences

I des zones ”vierges” ou non documentees

Viviane Pons Calcul formel avec Sage

Page 13: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, un logiciel jeune

I Des bugs

I Des incoherences

I des zones ”vierges” ou non documentees

Viviane Pons Calcul formel avec Sage

Page 14: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, un logiciel jeune

I Des bugs

I Des incoherences

I des zones ”vierges” ou non documentees

Viviane Pons Calcul formel avec Sage

Page 15: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 16: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !

En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 17: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 18: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 19: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 20: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 21: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 22: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 23: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 24: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage, pour les doctorants ?

Oui !En tant qu’utilisateur

I Gratuit

I Une large communaute

I Un logiciel d’avenir

En tant que contributeurs

I Open-source

I Appartenir a une communaute : rencontrer, partager

I Programmer = comprendre

Viviane Pons Calcul formel avec Sage

Page 25: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Viviane Pons Calcul formel avec Sage

Page 26: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Live demo !

Viviane Pons Calcul formel avec Sage

Page 27: Sage : un logiciel de calcul formel pour les doctorantspons/docs/presentation_sage.pdf · Qu’est-ce que Sage? Sage : pour les doctorants Live demo Premier pas Qu’est ce que Sage?

Qu’est-ce que Sage ?Sage : pour les doctorants

Live demoPremier pas

Sage websitehttp ://www.sagemath.org/

[Juillet 2010] Calcul mathematique avec SageA. Casamayou, G. Connan, T. Dumont, L. Fousse, F. Maltey, M.Meulien, M. Mezzarobba, C. Perne, N.M. Thiery, P. Zimmermannsagebook.gforge.inria.fr/

Sage Dayshttp ://wiki.sagemath.org/Workshops/

Expose et demohttp ://www-igm.univ-mlv.fr/~pons

Viviane Pons Calcul formel avec Sage