Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Joris van der Hoeven - LIX, École Poly Palaiseau,
Titre Computing with differentially algebraic power series
Date17/03/2025
Horaire15:45 à 16:45
Diffusion
Résume

I shall present several algorithms for computing with differentially algebraic power series. Such power series are specified by one or more algebraic differential equations and a sufficient number of initial conditions. The emphasis is on the ability to decide whether expressions involving differentially algebraic power series are zero.

Salle1013
AdresseSophie Germain
© IMJ-PRG