Fonctions holonomes en calcul formel

Frédéric Chyzak 1
1 ALGO - Algorithms
Inria Paris-Rocquencourt
Abstract : This thesis shows how computer algebra makes it possible to manipulate a large class of sequences and functions that are solutions of linear operators, namely that of holonomic functions. This class contains numerous special functions, in one or several variables, as well as numerous combinatorial sequences. First, a theoretical framework is introduced in order to give algorithms for the closure properties of the holonomic class, to permit a zero test in this class, and to unify differential calculations with functions and calculations of recurrences with sequences. These methods are based on calculations by an extension of the theory of Gröbner bases in a framework of non-commutative polynomials, namely Ore polynomials. Two kinds of algorithms for symbolic definite and indefinite summation and integration are then developed, whose theoretical justification appeals to the theory of holonomic D-modules. The former resort to non-commutative polynomial elimination by Gröbner bases; the latter to algorithms to solve linear functional systems for their rational function solutions. Much more than the search for closed forms, the aim is to be able to continue to compute with the implicit representation of holonomic objects even when no explicit form is available. In particular, this type of calculation makes the automatic proof of summatory and integral identities possible. An implementation of these algorithms for the computer algebra system Maple has made it possible to give the first automatic proof of identities so far unreachable by computer algebra.
Document type :
Theses
Complete list of metadatas

Cited literature [83 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00991717
Contributor : Frédéric Chyzak <>
Submitted on : Thursday, May 15, 2014 - 5:58:06 PM
Last modification on : Friday, May 25, 2018 - 12:02:02 PM
Long-term archiving on : Friday, August 15, 2014 - 11:30:13 AM

Identifiers

  • HAL Id : tel-00991717, version 1

Collections

Citation

Frédéric Chyzak. Fonctions holonomes en calcul formel. Calcul formel [cs.SC]. Ecole Polytechnique X, 1998. Français. ⟨tel-00991717⟩

Share

Metrics

Record views

434

Files downloads

1018