Thomas Sibut-Pinote

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Computer Algebra

Top Venues

Log. Methods Comput. Sci.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Assia Mahboubi, Thomas Sibut-Pinote
A Formal Proof of the Irrationality of ζ(3). Log. Methods Comput. Sci. 17 (1) (2021)
Assia Mahboubi, Thomas Sibut-Pinote
A Formal Proof of the Irrationality of ζ(3). CoRR (2019)
Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote
Formally Verified Approximations of Definite Integrals. J. Autom. Reason. 62 (2) (2019)
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
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS (2016)
Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote
Formally Verified Approximations of Definite Integrals. ITP (2016)
Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). ITP (2014)