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.
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).
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.