Welcome!
Research Topics
People
Publications
Seminars
Software
On-Line Applications
Jobs & Internships
Bruno Salvy's Recent Talks
Computational Variations on Linear Differential Equations
. A talk at
IHES
for their workshop on
Differential Equations and Galois Theory
, Bures-sur-Yvette, October 2011.
Automatic Proofs of Identities
(with a version in
video
). A talk at the
Séminaire de Combinatoire Philippe Flajolet
at the
IHP
, Paris, May 2011. I also gave it the following month at the
Séminaire du Labri
in Bordeaux. A very close
version
was presented at
Computational and Analytical Mathematics Conference
in honour of Jonathan Borwein's 60th birthday, Vancouver, May 2011. This is the one for which there is this
video
. An earlier
variant
of this talk was also presented at the seminar of the
Key Laboratory of Mathematics Mechanization
of the Chinese Academy of Sciences (Beijing, November 2010) and at the seminar of the
laboratoire d'informatique Gaspard Monge
of the University of Marne-la-Vallée. December 2010. An older version called
Automatic Proofs of Identities: Beyond A=B
was an invited talk at
FPSAC 2009
, Linz, July 2009. This was itself an improved version of a
talk
at the
LIP Seminar
. April 2009 and
another one
at the
Journées de Combinatoire de Bordeaux
. February 2009.
Newton Iteration for Combinatorial Systems and Applications
, a talk given at the
Discrete Math Seminars
at Simon Fraser University, May 2011. A
version
tailored to the audience of
Alea 2011
was given at the meeting in Luminy in March 2011.
The Dynamic Dictionary of Mathematical Functions
. A presentation of the
DDMF
at an invited talk at the
Conferences on Intelligent Computer Mathematics
. Paris, July 2010. A slightly shorter
version
at the
International Congress on Mathematical Software
. Kobe, September 2010. An earlier
one
was presented at the
Joint Institutes Workshop
at the joint
Inria-Microsoft Research Centre
. April 2010. An
older version
presenting the state of DDMF in 2009 was given at the
Forum 2009
of the joint
Inria-Microsoft Research Centre
. January 2009.
Newton Iteration: From Numerics to Combinatorics, and Back
, an invited talk at
ANALCO10
, Austin, Texas, January 2010.
Automatic Analysis of Combinatorial Structures, Old and New
. A talk on the same
topic
as the next one, but for a different audience. This was for
Philippe Flajolet's 60th birthday.
December 2008.
Combinatorial Newton Iteration and Efficient Random Generation
. A talk at the Conference
Gecko/Tera08
for Marc Giusti's 60th birthday. See also the corresponding
article
. November 2008.
Composition of Power Series, Change of Basis and Orthogonal Polynomials
(
handout version
). A talk at
our seminar
, based on both our
issac article and later report
, June 2008.
Gfun: 15 years later
. A 45 minutes talk at the
Workshop on Combinatorics and Statistical Physics
of the
Erwin Schrödinger International Institute for Mathematical Physics
, Vienna, May 2008. A
shorter version
had been given at the
Joint Mathematics Meeting
of the AMS and the MAA at New Orleans, January 2007.
Asymptotic Analysis for the Analysis of Algorithms
with its
Maple examples
. A minicourse at
the 2008 International Conference on the Analysis of Algorithms
. April 2008.
Differential Equations for Algebraic Functions
. A talk at
our seminar
, based on our
issac article
. June 2007.
D-finiteness
. A 4-hour course at the
Ecole Jeunes Chercheurs en Informatique Mathématique
with Alin Bostan and Frédéric Chyzak. March 2007.
Fast Computation of Power Series Solutions of Systems of Differential Equations
. This is the talk given at
SODA 2007
corresponding to
our paper
. January 2007.
On the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems
A talk at the workshop
Algorithms in Algebraic Geometry
of the
IMA
, September 2006. I had given an earlier version of this talk at the
10th seminar on Analysis of Algorithms
, Berkeley 2004.
Automatic Proofs of Special Functions or Combinatorial Identities
A presentation for professors in the
classes préparatoires
in the
journées informatiques X-UPS
, Palaiseau, May 2006.
Fast compact solutions of linear differential and difference equations
A talk at the
Waterloo Workshop on Computer Algebra
for Sergei Abramov's 60th birthday, Waterloo, April 2006.
D-finiteness: Algorithms and Applications
, an invited talk at
ISSAC 2005
, Beijing, July 2005.
Polynomial and Rational Solutions of Linear Differential or Difference Equations
A talk at
our seminar
in May 2005.
Analytic Combinatorics of Connected Graphs
(in French). A talk that I gave at UQAM (Montreal), at
our seminar
, at the
Alea'04
meeting, and at the
Séminaire Physique Mathématique et Géométrie
in Paris.
Introduction to D-finite series
A series of two talks I gave at the ALEA'03 meeting.
Before that, I was using old-fashioned transparencies.