Avec Sage, le Python est dans la boîte!

Documents pareils
Sage : un logiciel libre de mathématiques

Calcul Scientifique avec 3

Né le 13/06/1984 Russe Célibataire Langues : Russe, Anglais,

Assistante de recherche (Wissenschaftlicher Mitarbeiterin), Institut de Mathématiques, Université de Münster, Allemagne, Groupe du Prof. Urs Hartl.

MANUEL INSTALLATION. GANESHA version 4. Editeur Anéma SAS Département Développement

sécurisé de l ENSMM Accès au serveur FTP - Microsoft Windows 7 École Nationale Supérieure de Mécanique et des Microtechniques

pythonocc: une plateforme de développement agile d applications CAO.

Les logiciels libres. Université Antilles Guyane 14 novembre 2008 Olivier Watté

Cours de Master Recherche

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

Python - introduction à la programmation et calcul scientifique

La problématique de la Préservation des Bases de Données. Olivier ROUCHON CINES Groupe PIN Jeudi 7 Octobre

Catalogue des stages Ercom 2013

Linux 1: Présentation

Pourquoi R devient incontournable en recherche, enseignement et développement

Tutoriel code::blocks

Conférence SIG 2011 Versailles 5-6 Octobre 2011 Atelier Technique ArcGIS for Server en 10.1

WDpStats Procédure d installation

Gestion du projet pour qu'il soit pérenne et collaboratif

Framasoft «Partir de Windows pour découvrir le libre...»

Cours 7 : Utilisation de modules sous python

Gestion d'un parc informatique avec OCS INVENTORY et GLPI

Plan global Outils de développement et compilation. Ce que l on veut éviter. Plan. Git : gestion de code source et versionnement.

findit.lu Les guides d utilisation Leçon 17

Stratégie de sécurité grâce au logiciel libre. Frédéric Raynal Cédric Blancher

Outils pour les réseaux de neurones et contenu du CD-Rom

PLATEFORME SAAS D'ENVOI DE SMS. Guide du débutant UTILISER LA PLATEFORME SMSMODE TUTORIEL

SUGARCRM Sugar Open Source Guide d Installation de French SugarCRM Open Source Version 4.2

Informatique. Les réponses doivent être données en cochant les cases sur la dernière feuille du sujet, intitulée feuille de réponse

Tutoriel Atout Facture. 14/01/2015 Codelpi

Nouveautés Ignition v7.7

Cours 1 : La compilation

BIG Data et R: opportunités et perspectives

Supervision système et réseau avec Zabbix. Anne Facq Centre de Recherche Paul Pascal 17 avril 2008

GESTION ELECTRONIQUE DE DOCUMENTS

Accès instantané aux mots et aux locutions Le dictionnaire électronique offre une traduction rapide d'un mot ou d'une locution

pyensae StockPrices September 1, Manipulation de séries financières avec la classe StockPrices

CMS Open Source : état de l'art et méthodologie de choix

2 Formation utilisateur

Logiciel libre de gestion pour l'education Populaire. Module ALSH et ALSH périscolaire

DIRAC : cadre et composants pour créer des systèmes de calcul distribués

Environnements et Outils de Développement Cours 1 Introduction

Manuel Extranet : guide de demande de réservation de salles, de matériel et de services. Table des matières

Guide Enseignant de l application OpenERP

GRIDKIT: Pluggable Overlay Networks for Grid Computing

Nos webmasters, web designers et ingénieurs de développement vous accompagnent dans vos projets afin de vous apporter entière satisfaction.

Les logiciels OpenSource pour l'entreprise

Stéphane DERACO, DSI CNRS l Argos Devops : de l hyperviseur aux conteneurs l 11/12/2014 DOCKER

Alexandre Buge Epitech 5 Promo Soutenance de stage du 01/03/2004 au 31/08/2004

PostgreSQL. Formations. Catalogue Calendrier... 8

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016

STAGE IREM 0- Premiers pas en Python

ÉCOLE POLYTECHNIQUE DE MONTRÉAL. Département de Génie Électrique. La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Réunion du réseau de génétique du Département EFPA

VIDÉOSURVEILLANCE. Procédures de paramétrage des différentes box du marché

Chaque ordinateur est constitué de différentes unités de stockage de données (Disque dur, Graveur ) que l on peut imaginer comme de grandes armoires.

OpenERP, un progiciel de gestion intégré pour entreprise, distribué sous licence libre (GPL), qui répond de manière efficace à la complexité et aux

Configuration du moteur de recherche de SharePoint Foundation 2013

ERESI : une plate-forme d'analyse binaire au niveau noyau. The ERESI team

JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles

1. accéder aux fichiers partagés

mailpro mode d'emploi

ZOTERO. Installation. Bibliothèque de Pharmacie. Service Formation

LOCAL TRUST Charte Open-Source

Les clusters Linux. 4 août 2004 Benoît des Ligneris, Ph. D. benoit.des.ligneris@revolutionlinux.com. white-paper-cluster_fr.sxw, Version 74 Page 1

Installation de BOINC (pour Windows) La procédure reste néanmoins très similaire pour les utilisateurs de LINUX

Tux Paint. 1. Informations générales sur le logiciel. Auteur : Bill Kendrick et l équipe de développement de New Breed Software

Working with Kinect. Intelligence Ambiante. Tomás DÍAZ TRONCOSO Arturo GARCÍA TOVAR Daoud MAROUAN LMTIUI

µrv : Realité Virtuelle

Éléments de programmation et introduction à Java

Glossaire. ( themanualpage.org) soumises à la licence GNU FDL.

Androïd Manuel d installation MB PRO LIGHT Préalable. Définitions

COMMENT RESTAURER DES S OUTLOOK AVEC SECURITOO BACKUP

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année

CONTRAT DE LICENCE & D'UTILISATION DES LOGICIELS DENY ALL DETECT

Europresse.com. Pour bibliothèque d enseignement Pour bibliothèque publique. Consulter facilement la presse. Guide version 1.

Formation Site Web. Menu du jour. Le web comment ça marche? Créer un site web Une solution proposée pour débuter La suite?

POVERELLO KASONGO Lucien SIO 2, SISR SITUATION PROFESSIONNELLE OCS INVENTORY NG ET GLPI

Systèmes en réseau : Linux 1ère partie : Introduction

Documentation d information technique spécifique Education. PGI Open Line PRO

TD d économétrie appliquée : Introduction à STATA

OUAPI Guide d installation Outil d administration de parc informatique. Documentation d installation et de paramétrage

Offre Education 250 /an/école (htva)

Travail collaboratif. Glossaire

Annexe : La Programmation Informatique

OpenVPN Manager. Projet M2-ESECURE - Robin BUREL. Date 10 Janvier 2013 Tuteur : M. Richard

Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT

PLAN 1. A PROPOS 2. EXPERTISE 3. NOS RÉFÉRENCES 4. TECHNOLOGIES 5. CONTACT

Cabri et le programme de géométrie au secondaire au Québec

Logiciels libres de Bibliothèques numériques : présentation. Castore & Greenstone. Les autres : CDS Invenio, EPRINTS, Dspace.

Tutoriel Création d une source Cydia et compilation des packages sous Linux

Forge. Présentation ( )

CRÉER SON SITE INTERNET. Créer son site Internet. Méd de Roanne. FG 16/09/08

OpenERP, un progiciel de gestion intégré pour entreprise, distribué sous licence libre (GPL), qui répond de manière efficace à la complexité et aux

Logiciel et format de fichiers

Guide d installation de SugarCRM Open Source version 4.5.1

Introduction à l informatique en BCPST

WH Expert II Plate-forme de Day Trading Guide de l utilisateur

Transcription:

Avec Sage, le Python est dans la boîte! Paul Zimmermann Journée Télécom-UPS, Paris, 14 mai 2014

publié en juin 2013 456 pages pdf libre (CC BY-SA) sur sagebook.gforge.inria.fr 10.53 euros sur Amazon

Plan bref historique du calcul formel libre architecture de Sage tutoriel Sage premiers pas calcul symbolique graphiques polynôme et systèmes polynomiaux algèbre linéaire calcul numérique combinatoire et programmation linéaire

Bref historique du calcul formel libre Axiom : 1971 à IBM (Scratchpad) par Jenks, Trager, Watt, Davenport, Sutor, Morrison. 1990 : vendu à NAG, renommé Axiom. 2001 : grâce à Tim Daly, Axiom est publié sous licence BSD modifiée. 2007 : deux nouvelles branches (OpenAxiom et FriCAS). Dernière version en mai 2012, OpenAxiom en avril 2013, FriCAS en septembre 2013. Maxima : démarré au MIT en 1982 (Macsyma) financé par le DOE. Deux versions : Symbolics Macsyma (commercial) et une version développée par Bill Schelter (Maxima), sous GPL depuis 1998. Dernière version date d avril 2014.

MuPAD : a démarré en 1989 à l université de Paderborn (Allemagne), version 1.0 en août 1992, gratuit pour l enseignement et la recherche académique jusqu en 2005 (MuPAD Light). 1997 : version commerciale MuPAD Pro (vendue par SciFace). 2008 : SciFace racheté par MathWorks, MuPAD disparaît en tant que produit indépendant. Mai 2002, Lyon : Workshop on Open Source Computer Algebra. MuPAD, Linbox, GINAC, GIAC, ACE, mu-ec, mupad-combinat, Scilab, SYNAPS, GAP, TeXmacs, Magma, FOC, Axiom, PARI, Maxima.

Les débuts de Sage Cf http://wstein.org/mathsoftbio/history.pdf

2005 : développement de Manin (nom original) février 2006 : Sage Days, sortie de Sage 1.0 pendant l exposé de W. Stein s 5 janvier 2007, 00 :06 : sortie de Sage 1.5.2 5 janvier 2007, 19 :58 : sortie de Sage 1.5.3 3 november 2007 : sortie de Sage 2.8.11 7 november 2007 : sortie de Sage 2.8.12 21 november 2007 : sortie de Sage 2.8.13 25 november 2007 : sortie de Sage 2.8.14 24 december 2009 : sortie de Sage 4.3 21 janvier 2010 : sortie de Sage 4.3.1 14 may 2012 : sortie de Sage 5.0 30 avril 2013 : sortie de Sage 5.9 17 juin 2013 : sortie de Sage 5.10 13 août 2013 : sortie de Sage 5.11 (324MB) 3 février 2014 : Sage 6.1 (380MB), 85 développeurs (10 nouveaux) 6 mai 2014 : Sage 6.2

La communauté Sage (voir sagemath.org) Sage Days : Sage Days 6 (Cryptography, Arithmetic Geometry) : Bristol, novembre 2007 Sage Days 10, Nancy, octobre 2008 Sage Days 20 (Combinatorics), Marseille, février 2010 Sage Days 52 (Arithmetics over DVR, p-adics), septembre 2013, université Rennes 1 Sage Days 53 (Computational Number Theory, Geometry, and Physics), septembre 2013, Oxford Sage Days 55 (Arithmetic and Complex Dynamics), novembre 2013, Melbourne, Florida Bug Days, Doc Days, Review Days, Education Days,...

Ressources Sage Listes de diffusion sage-support, sage-devel Serveur Trac http://trac.sagemath.org/ (environ 500 développeurs) Sage dans l enseignement en France : sagemath-edu@irem.univ-mrs.fr http://mail.irem.univ-mrs.fr/mailman/listinfo/sagemath-edu

Cours Sage à Bordeaux : http://wiki.sagemath.org/groupeutilisateursbordeaux Groupe d utilisateurs de Sage et Python Scientifique en région Parisienne : http://wiki.sagemath.org/groupeutilisateursparis

Architecture de Sage

Sage est basé principalement sur Python Sage 6.1.1 inclut 87 logiciels ou bibliothèques (Atlas, Boost, Cython, GCC 4.7.3, GSL, FPLLL, Ipython, Linbox, Matplotlib, Maxima, GNU MPFR, Numpy, Pari/GP, Python 2.7.5, R, Scipy, Singular, Sympy) 1531 fichiers Python, au total 996302 lignes 389 fichiers Cython, au total 421816 lignes

Lancer le tutoriel 1. Démarrer Sage 2. taper notebook() 3. cliquer sur Upload 4. entrer l URL http://www.loria.fr/~zimmerma/isn-2014.sws

Conclusion Python est un langage facile d accès pour apprendre l informatique Via sa conception orientée objet, c est aussi un langage moderne De nombreuses bibliothèques scientifiques sont développées autour de Python (NumPy, SciPy)... De plus en plus de d ingénieurs et chercheurs utilisent Python (cf. conférence EuroScipy) Sage est un environnement parmi d autres pour apprendre Python... avec en plus l efficacité de Cython... et du calcul mathématique avec Maxima, Linbox, sage-combinat, Pari/GP, ATLAS, GLPK, Matplotlib, R, Singular...