A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). - Frédéric Chyzak; Assia Mahboubi; Thomas Sibut-Pinote; Enrico Tassi (ITP, 2014)

Formal Verification of Smart Contracts: Short Paper. - Karthikeyan Bhargavan; Antoine Delignat-Lavaud; Cédric Fournet; Anitha Gollamudi; Georges Gonthier; Nadim Kobeissi; Natalia Kulatova; Aseem Rastogi; Thomas Sibut-Pinote; Nikhil Swamy; Santiago Zanella-Béguelin (PLAS@CCS, 2016)

Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification. (Investigations en Mathématiques Assistées par Ordinateur : Expérimentation, Calcul et Certification). - Thomas Sibut-Pinote (2017)

Formally Verified Approximations of Definite Integrals. - Assia Mahboubi; Guillaume Melquiond; Thomas Sibut-Pinote (J. Autom. Reason., 2019)

A Formal Proof of the Irrationality of ζ(3). - Assia Mahboubi; Thomas Sibut-Pinote (Log. Methods Comput. Sci., 2021)