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	(November 2009)	Generating functions package.
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`.

Most of these packages have been gathered with other code from the Algorithms project in the Algolib.

Also, we have recently started an exciting project called the 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

M1 at ENS: a course that we've started two years ago with Alin Bostan on computer algebra oriented towards experimental mathematics.
M2 at MPRI: it's currently the 6th year of this course on efficient algorithms for computer algebra, see the web page for the course notes.

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.

Book

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