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.


Permanent members:


Other long-term research collaborators:

Former members and long-term visitors:


Annoucements for the seminar “Computations and Proofs” 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).


A few potential internships descriptions are available here.


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.