June 15th, 2023 at 10:15 am -- Marc Mezzarobba (CNRS, LIX, MAX)

Asymptotic Expansions with Error Bounds for Solutions of Linear Recurrences

March 16th, 2023 at 10:15 am -- Fredrik Johansson (INRIA Bordeaux)

Faster computation of elementary functions

February 2nd, 2023 at 10:15 am -- Paul Zimmermann (INRIA Bordeaux)

Le projet CORE-MATH

January 10th, 2023 at 2:00 pm -- Harald Helfgott (Göttingen, Germany)

Calculs rigoureux, un brin de preuves automatiques, et l'espoir des preuves formelles : une miscellanée sur des thèmes de Goldbach (faible)

January 27th, 2022 at 10:15 am -- Éric Goubault (LIX, École Polytechnique)

Verification of ReLU neural networks with tropical polyhedra

December 16th, 2021 at 10:15 am -- Stef Graillat (PEQUAN, LIP6, Sorbonne Université)

On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots

November 18th, 2021 at 3:00 pm -- Jan Verschelde (Dpt of Mathematics, Statistics and Computer, University of Illinois at Chicago, U.S.A.)

Least Squares on GPUs in Multiple Double Precision

October 7th, 2021 at 10:15 am -- Michael Plum (Fakultät für Mathematik, Karlsruher Institut für Technologie, Karlsruhe, Deutschland)

Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems

July 1st, 2021 at 10:15 am -- Sheehan Olver (Department of Mathematics, Imperial College London, United Kingdom)

Infinite Linear Algebra + Interval Arithmetic

June 17, 2021 at 10:15 am -- Guillaume Melquiond (Toccata, INRIA Paris Saclay)

Plotting in a formally verified way

May 20, 2021 at 10:15 am -- Joel Dahne (Uppsala Univ., Sweden)

A computer assisted counterexample to Payne’s nodal line conjecture with few holes