BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240305T100000
DTEND;TZID=Europe/Paris:20240305T110000
DTSTAMP:20260422T182710
CREATED:20240219T133743Z
LAST-MODIFIED:20240304T095339Z
UID:11438-1709632800-1709636400@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Corecursivity and higher-order computational differentiation\, and some applications »\, Jerzy Karczmarczuk (GREYC\, Caen)
DESCRIPTION:Je présente l’application pratique du codage et de l’algorithmisation corécursive (extrapolatrice\, paresseuse\, qui engendre des flots “infinis”) dans le domaine du calcul scientifique : la manipulation des suites illimitées de dérivées “automatiques” du code numérique. Je discute l’usage du langage fonctionnel Haskell dans le traitement des structures comme les séries formelles ou les approximants de Padé. La formulation fonctionnelle corécursive élimine la plupart du code administratif (“boiler-plate”) comme le contrôle des boucles\, mène à des programmes extrêmement courts et compacts et facilite l’implémentation informatique des constructions mathématiques comme des algèbres différentielles (le pain quotidien dans les mathématiques appliquées\, comme la physique théorique).
URL:https://www.greyc.fr/event/seminaire-algorithmique-corecursivity-and-higher-order-computational-differentiation-and-some-applications-jerzy-karczmarczuk-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR