Symbolic Integration in Differential Fields

par Clemens Raab (Linz, Autriche)

jeudi 30 juin 2011, 10:30 → 11:30 Europe/Paris

XR.203 (Bâtiment XLIM)

We give an overview of an extension of Risch's algorithm for finding elementary integrals. This extension is applicable to a certain class of Liouvillian and non-Liouvillian functions. Some subproblems related to solving differential equations will be outlined. Examples of indefinite and definite integrals will be given as well.