Bruno Salvy's Home Page


Address	Software	Book	Teaching	Talks	Publication list

Publications

Most of my papers are available in electronic form from my publication list.

Software

I have written part or all of the following Maple packages (the date following each program indicates when it was last modified):

gfun	(Jan 2012)	Generating functions package. See its web page for a partial list of users and uses.
MultiSeries	(November 2006)	a package for series and asymptotic expansions in general asymptotic scales. A quite recent version is distributed in standard Maple.
encyclopedia	(July 2000)	the encyclopedia of combinatorial structures. The code is stable, but the results are improved by using more recent versions of `gfun` and others. As of 2009, we have a completely new interface due to Alexis Darrasse and Frédéric Chyzak.
gdev	(March 2003)	series expansion and limits (includes the `equivalent` function). This has been mostly superseeded by the `MultiSeries` package, except for `equivalent`, that remains to be ported.
luo	(May 1995)	system for the analysis of algorithms. Most of it is now available from the maple package `combstruct` together with `equivalent` from `gdev`.
Algolib	(December 2010)	is a Maple package that gathers most of the packages above with other code from the Algorithms project.
the DDMF	(November 2010)	is an exciting new project that we recently started. It is a Dynamic Dictionary of Mathematical Functions, building up on `gfun` and `MultiSeries` but also on a lot of new code due to Frédéric Chyzak and other participants to this project.

Talks

Most of my recent talks are available on the web.

Teaching activities

M2 at MPRI: it's currently the 7th year of this course on efficient algorithms for computer algebra, see the web page for the course notes.
I have a small participation in an interesting course on Logic, Models, Computation given by Olivier Bournez.

Recently, we gave a nice course on computer algebra oriented towards experimental mathematics at École Normale Supérieure with Alin Bostan.

In the past few years, I've also given a talk on computer algebra and average-case complexity analysis in the course on Analysis of Algorithms of that same MPRI.

A couple of years ago, I gave an introduction to Maple in 2 times 2 hours for students preparing the French "agrégation".

Even earlier, I gave an introduction to computer algebra in the DEA Algorithmique; and a course on ``Computer algebra, special functions and combinatorial identities'' in the DEA Informatique Fondamentale et Applications.

In the ancient past, I've also done some teaching (for 7 years!) at the École polytechnique.

Claude Gomez, Paul Zimmermann and I have written a book called Calcul formel : Mode d'emploi -- Exemples en Maple, about the use of computer algebra and Maple. Here is the table of contents. An addendum for MapleV.4 is available. Philippe Dumas has written very nice, detailed and extensive solutions of many of the exercices.

Address

: E-mail: Bruno.Salvy@inria.fr
: Telephone: +33 1 39 63 55 20
: Fax: +33 1 39 63 55 96
: Business address

Bruno Salvy
Projet ALGO
INRIA Rocquencourt
78153 Le Chesnay Cedex
FRANCE