Research Topics

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.