BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Laboratoire de Mathématiques de Versailles - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Laboratoire de Mathématiques de Versailles
X-ORIGINAL-URL:https://lmv.math.cnrs.fr
X-WR-CALDESC:Évènements pour Laboratoire de Mathématiques de Versailles
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251211T170000
DTEND;TZID=Europe/Paris:20251211T180000
DTSTAMP:20251212T144231Z
CREATED:20251205T161141Z
LAST-MODIFIED:20251212T144231Z
UID:14647-1765472400-1765476000@lmv.math.cnrs.fr
SUMMARY:Séminaire des jeunes : Yannis Monbru (LMO) : Un anneau de polynômes est-il l'ensemble des suites à support fini ou l'ensemble des fonctions polynomiales ?
DESCRIPTION:Mon lemme de topologie est vrai dans les espaces métriques\, les espaces compacts ou même les groupes topologiques\, mais je ne souhaite pas le démontrer plusieurs fois. \nJe souhaite travailler avec des fonctions méromorphes\, et pourtant\, j’ai encore du mal à écrire rigoureusement toutes les conditions de la définition. \nDerrière ces exemples se cache une dure réalité :\n– Nos preuves sont très vulnérables à une légère modification anodine des pages précédentes.\n– Nous devons souvent refaire des preuves très similaires en raison d’hypothèses légèrement différentes.\n– Nos preuves doivent tenir compte de la manière dont nous avons démontré certains lemmes (et pas seulement des lemmes). \nCe sont précisément les problèmes que certains paradigmes de programmation nous permettent d’éviter. Cela est particulièrement utile pour expliquer les mathématiques à un assistant de preuve\, mais nous verrons que la mise en œuvre de ces paradigmes sur nos trois exemples peut changer la façon dont nous faisons des mathématiques « sur papier ».
URL:https://lmv.math.cnrs.fr/evenenement/seminaire-des-jeunes-yannis-monbru-lmo-un-anneau-de-polynomes-est-il-lensemble-des-suites-a-support-fini-ou-lensemble-des-fonctions-polynomiales/
CATEGORIES:Séminaire des jeunes
END:VEVENT
END:VCALENDAR