Nous présentons plusieurs aspects du calcul effectif avec des séries formelles en calcul formel : calcul efficace de coefficients, tests de nullité effectifs, développements plus généraux en transséries.

Occasions: JNCF, Luminy, January 21, 2003

Documents: slideshow, TeXmacs source