VLDB 2026 Research / reviewers in the wild / expert
Thomas Sibut-Pinote
dblp:147/4419
· DBLP profile ↗
4ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0001-9454-5850ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 since 2021Artificial intelligence and machine learning · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | A Formal Proof of the Irrationality of ζ(3)
Assia Mahboubi, Thomas Sibut-Pinote |
Log. Methods Comput. Sci. | 2 |
| 2019 | Formally Verified Approximations of Definite Integrals
Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote |
J. Autom. Reason. | 3 |
| 2016 | Formally Verified Approximations of Definite Integrals
Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote |
ITP | 3 |
| 2014 | A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi |
ITP | 3 |