Thomas Sibut-Pinote

According to our database, Thomas Sibut-Pinote authored at least 5 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

A Formal Proof of the Irrationality of ζ(3).

Assia Mahboubi, Thomas Sibut-Pinote

Log. Methods Comput. Sci., 2021

2019

Formally Verified Approximations of Definite Integrals.

Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote

J. Autom. Reason., 2019

2017

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

PhD thesis, 2017

2016

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

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2014

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3).

Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014