Frédéric Chyzak's Home Page


Research Interests

I am a researcher at INRIA. My long-term domain of interest is Computer Algebra, that is, the design of fast algebraic algorithms on representations of mathematical objects in the computer. My favorite applications are in Combinatorics. I am also interested in the interactions between Computer Algebra and Formal Proofs, which motivated the launch of the team SpecFun.


I have coauthored a book on “Efficient Algorithms in Computer Algebra” (in French). You can order an inexpensive copy of it, or download a (legal) electronic version with identical contents, but enhanced by colors and hyperlinks. See the book webpage.

Publications, Talks

See my list of publications in full or by categories. There is also a list of talks I've given.

Additional material, related to publications:

And here is my list of coauthors.


My main activity in (research) software concerns Maple packages to perform symbolic summation and integration of special functions, namely Mgfun and related packages, as well as the generation of the online dictionary of special functions, DDMF. I have written part or all of what follows. (Dates of last release between parentheses.)

Interns and Students I've Advised

Post-docs and More Visitors I've Worked With

Teaching Activities

Since 2005, I teach a yearly course in computer algebra in the MPRI. See the (French) web page about my (joint) course there. Oh, and there is a book!

I have also tought 8 years at École Polytechnique, including a Computer-Algebra course (M1 level).


Since 2012, my office is in the INRIA-Saclay Centre, located in Palaiseau (building Alan Turing on École Polytechnique campus, full address at the bottom). See it on a map. Before that, I have worked for more than 15 years in the INRIA Centre at Rocquencourt, ancestor of the current Paris centre.

Frédéric Chyzak, INRIA Saclay Île-de-France, Bât. Alan Turing, 1 rue Honoré d'Estienne d'Orves, 91120 Palaiseau, France
Tel: +33 1 69 35 69 74