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