Inria Team SPECFUN

Symbolic Special Functions: Fast and Certified

This Inria team is part of the Inria Saclay – Île-de-France Inria Research Center, with offices located in the Alan Turing building in Palaiseau.

Note: The team SPECFUN has closed. An evolution of its activities is part of the new team MATHEXP, Experimental Mathematics, created April 1, 2022. See the new website.


Permanent members:

PhD students:

Other long-term research collaborators:

Administrative assistant:

Former members and long-term visitors:


Annoucements for our seminar will appear here. You can also subscribe to the annoucements.

Publications by Team's Members

Our list of publications is available through the French archive HAL (generated list).


In the past, the team was involved in the Microsoft Research – Inria Joint Centre, in the project Dynamic Dictionary of Mathematical Functions (DDMF) that developed the DDMF online website, and in the project Mathematical Components. tml> p>