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

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

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, ...

Sage, une communaute

Sage, de la programmation avancee

I Langage : Python

I Problematique : trouver les structures les plus adaptees auxmathematiques

I Structures objet avancees, architechture complexe

I Langage : Python

Sage, un logiciel jeune

I Des bugs

I Des incoherences

I des zones ”vierges” ou non documentees

I Des bugs

I Des incoherences

I Des bugs

I Des incoherences

I Des bugs

I Des incoherences

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

En tant qu’utilisateur

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

I Gratuit

I Open-source

Live demo !

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

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

Documents

Sage Paie & RH - I.P.O. Gestion Revendeur … · Avec des solutions horizontales - Sage Start, Sage 30, Sage 100, Sage CRM - et verticales, comme le bâtiment, notre offre est effectivement

Démarrer en calcul formel

Vers un modèle formel de classification de problèmes

Liason Sage crm avec Sage Multi Devis

Le financement semi-formel du secteur informel au Maroc

Calcul formel - Free

Le formel et l’informel : une tension créatrice continuelle · Comme notions donc, le formel et l'informel apportent un éclairage spécifique sur le vécu. Ils constituent comm

Calcul formel et Mathématiques avec la calculatriceparisse/calc/hprime2.pdf · Calcul formel et Mathématiques avec la calculatrice HP Prime Renée De Graeve Maître de Conférence

Présentation d’un cadre formel pour l’analyse de situation · Présentation d’un cadre formel pour ... La généralité du langage formel proposé permet de lier les concepts

R&D SAGE 100 SAGE PAIE - · PDF fileR&D SAGE 100 – SAGE PAIE Le : 24 septembre 2009 De : R&D Sage 100 – Sage Paie Objet : Microsoft SQL Server 2008 - Mise à jour de Sage 100 pour

TP1 : Premiers pas en Maplearmana.perso.math.cnrs.fr/enseignement-archives/200506-mk1/mk1... · MK1 "Calcul formel" Maple TP1 : Premiers pas en Maple Qu’est-ce que Maple ? C’est

Guide de connexion Sage University Sage Live

Réseaux de neurones artificiels « le neurone formel »

CALCUL FORMEL - frederic.leon77.free.frfrederic.leon77.free.fr/formations/2013_14/100outils/calcul_formel.pdf · CALCUL FORMEL 5. Soit j le nombre complexe de module 1 et d’argument

Hem - Formel Vee

Calcul formel et Mathématiques avec la calculatrice HP …parisse/calc/hprime.pdf · Calcul formel et Mathématiques avec la calculatrice HP Prime Renée De Graeve Maître de Conférence

Curriculum formel et Curriculum enseigne en Guineerocare.org/grants/2009/Curriculum formel et Curriculum enseigne en Guinee.pdf · En s’inscrivant dans la dynamique de l’objectif

Étude exploratoire sur le soutien formel et informel des mères … · 2014-11-01 · 1.4.3.2 Perception du soutien formel..... 9 1.5 Situation québécoise , 9 1.6 Objectifs de

Sage Paie & RH - IG Conseilsfichiers/plaquette/sage/sage-paie.pdf · Sage Paie Pack et Sage Paie Pack+ Sage Suite RH Sage directDŽclaration!"#$%!&#$'()*+(, DŽcoupage Fonctionnel

Algorithmes de calcul formel et numérique