Séminaire
Séminaire Outils informatiques
Intervenant : NUCCIO MORTARINO MAJNO DI CAPRIGLIO Filippo A. E. (Université Jean Monnet)
Titre :
Formalisation Mathématique en Lean
Le : 09/04/2026 de : 14:00 à : 15:00
Après une introduction générale aux mathématiques assistées par ordinateur, je me concentrerai sur l’assistant de preuve Lean et sur sa bibliothèque de mathématiques formalisées Mathlib. Je montrerai des exemples plus ou moins élémentaires et je parlerai de quelques projets qui se sont développés, ou sont en train de se développer, autour de Mathlib. Je terminerai en mentionnant le rôle que l’IA a dans cette histoire, avec une discussion de comment la formalisation pourrait modifier notre approche aux mathématiques dans les années qui viennent.
Salle : LPSM 16-26-209
Lien teams : Rejoindre le séminaire
Séminaire
Séminaire Outils informatiques
Intervenant : MARCHAND Pierre (ENSTA/Inria)
Titre :
git avancé
Le : 12/03/2026 de : 14:00 à : 15:00
Dans la suite de la présentation d’introduction à Git, Pierre Marchand, chercheur Inria à l'ENSTA, fera un pas de plus dans la gestion d’un workflow et des commandes et concepts git plus avancées tels que fork, branch, stash et rebase.
Salle : LPSM 16-26-209
Lien teams : Rejoindre le séminaire
Séminaire
Séminaire Outils informatiques
Intervenant : FARIA Luiz (INRIA/POEMS)
Titre :
Introduction à Julia
Le : 05/02/2026 de : 14:00 à : 15:00
Salle : 16-26-209
Lien teams : Rejoindre le séminaire
Séminaire
Séminaire Outils informatiques
Intervenant : INDJIC Marko (CEREMADE)
Titre :
Présentation du cluster
Le : 09/10/2025 de : 14:00 à : 15:30
Salle : A701
Séminaire
Séminaire Outils informatiques
Intervenant : CHUPIN Maxime (CNRS, CEREMADE)
Titre :
Erreurs courantes en LaTeX
améliorer notre utilisation de LaTeX
Le : 12/10/2023 de : 14:00 à : 15:00
Salle : LJLL (jussieu) 16-26-209
Lien teams : Rejoindre le séminaire
Séminaire
Séminaire Outils informatiques
Intervenant : DENIS Bitouzé (Département MT2E, Université du Littoral )
Titre :
Introduction à PGFplots
Le : 15/06/2023 de : 14:00 à : 15:00
La représentation graphique de courbes et surfaces, que ce soit de fonctions ou de données expérimentales, est malheureusement un parent pauvre des productions scientifiques en général, mathématiques en particulier. Souvent produits avec des logiciels de calcul formels ou scientifiques, les graphiques sont rarement optimaux : potentiellement pixelisés et manquant de cohérence avec l’ensemble du document qu’ils illustrent, ils nuisent à qualité des publications. Avec LaTeX, on dispose heureusement de nombreux outils permettant la production de graphiques de qualité. Nous présenterons le package pgfplots qui est simple d’utilisation mais redoutablement puissant. Une fois les quelques bases maîtrisées, vous pourrez en quelques lignes de code créer des graphiques à la fois vectoriels et typographiquement homogènes, et ainsi significativement accroître la qualité de vos documents.
Salle : LJLL 15-16-309
Lien teams : Rejoindre le séminaire
Séminaire
Séminaire Outils informatiques
Intervenant : CHUPIN Maxime (CNRS, CEREMADE)
Titre :
Utilisation du cluster de calcul du laboratoire
Le : 13/06/2023 de : 15:00 à : 16:00
Cet exposé se veut être une présentation du cluster de calcul du laboratoire. On montrera en particulier comment l’utiliser dans divers contextes.
Salle : B506, Université Paris-Dauphine
Séminaire
Séminaire Outils informatiques
Intervenant : LEVITT Antoine (Laboratoire de Mathématiques d'Orsay)
Titre :
Calcul scientifique en Julia
Le : 11/05/2023 de : 14:00 à : 15:00
Le projet Julia s’est imposé ces dernières années comme une alternative au paradigme “dynamique mais lent” (python, matlab…) contre “statique mais rapide” (C++, Fortran…), particulièrement adaptée au calcul scientifique. J’expliquerai les choix de conception du langage, son utilisation pratique. et les possibilités nouvelles permises par le langage (agnosticité au type de données et de plateforme de calcul, différentiation automatique…). J’illustrerai sur l’exemple concret d’un code de calcul de structure électronique.
Salle :
Séminaire
Séminaire Infomath
Intervenant : FRENOUX Emmanuelle (Polytech Paris Saclay)
Titre :
Numérique et urgence environnementale, comprendre les enjeux, savoir agir
Le : 12/01/2023 de : 14:00 à : 15:00
Le numérique se trouve confronté à la nécessaire prise en compte de son impact écologique. Quels sont les aspects du numérique qui pèsent le plus ? Comment estimer l’importance des pratiques, des achats, du recyclage ? Nous parlerons de l’impact environnemental du numérique, depuis l’extraction des matières premières jusqu’à la fin de vie, en passant par les usages comme le calcul et les centres de données/centres de calcul. Afin que chacune et chacun reparte avec un minimum de bonne humeur, quelques outils de mesure et des pistes de solutions pour les problèmes que nous allons évoquer seront proposés. Étant donné que le séminaire est hybride, n'hésitez pas également à diffuser l'information à d'autres laboratoires.
Salle : LJLL (jussieu) 15-16-309
Séminaire
Séminaire Outils informatiques
Intervenant : CHUPIN Maxime (CNRS, CEREMADE)
Titre :
Erreurs courantes en LaTeX
améliorer notre utilisation de LaTeX
Le : 12/01/2023 de : 14:00 à : 15:00
Nous utilisons quasi quotidiennement LaTeX, mais souvent, appris sur le tas, sans initiation, nous prenons rapidement de mauvaises habitudes. Nous essaierons ici de faire un tour des erreurs les plus courantes et en même temps d’expliquer un peu plus les mécanismes importants de LaTeX. Nous en profiterons aussi pour monter quelques outils du monde de TeX utiles aux mathématiciens et mathématiciennes.
Salle : LJLL (jussieu) 16-26-209
Lien teams : Rejoindre le séminaire
Séminaire
Séminaire Infomath
Intervenant : CHUPIN Maxime (CEREMADE, CNRS, Université Paris-Dauphine)
Titre :
Améliorer son utilisation de LaTeX
Le : 14/10/2021 de : 14:00 à : 15:00
Maxime Chupin, IR CNRS au laboratoire CÉRÉMADE et co-organisateur du séminaire, nous expliquera quels sont les erreurs courantes en LaTeX et surtout que faire pour améliorer notre utilisation de LaTeX.
Salle : salle Paul Levy 16-26 209 à Sorbonne Université Sciences (Campus Pierre et Marie Curie)
Lien teams : Rejoindre le séminaire