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.
Other long-term research collaborators:
Former members and long-term visitors:
Annoucements for our seminar will appear here. You can also subscribe to the annoucements.
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.