SU\G(𝔾)/K·U

Thomas Sibut-Pinote

Follow

Generating author description...

All published works
Action Title Year Authors
+ A formal proof of the irrationality of ζ(3) 2021 Assia Mahboubi
Thomas Sibut-Pinote
+ A Formal Proof of the Irrationality of $\zeta(3)$ 2019 Assia Mahboubi
Thomas Sibut-Pinote
+ A Formal Proof of the Irrationality of $ζ(3)$ 2019 Assia Mahboubi
Thomas Sibut-Pinote
+ PDF Chat A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) 2014 Frédéric Chyzak
Assia Mahboubi
Thomas Sibut-Pinote
E. ̃Tassi
Common Coauthors
Coauthor Papers Together
Assia Mahboubi 4
Frédéric Chyzak 1
E. ̃Tassi 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ A holonomic systems approach to special functions identities 1990 Doron Zeilberger
 2
+ PDF Chat On the Product of the Primes 1972 Denis Hanson
 2
+ PDF Chat Formalizing an Analytic Proof of the Prime Number Theorem 2009 John Harrison
 2
+ A Note on the Irrationality of ζ(2) and ζ(3) 1979 Frits Beukers
 2
+ PDF Chat A formally verified proof of the prime number theorem 2007 Jeremy Avigad
K. Donnelly
David Gray
Paul Raff
 1
+ IrrationalitĂ© d’une infinitĂ© de valeurs de la fonction zĂȘta aux entiers impairs 2001 Keith Ball
Tanguy Rivoal
 1
+ PDF Chat A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) 2014 Frédéric Chyzak
Assia Mahboubi
Thomas Sibut-Pinote
E. ̃Tassi
 1
+ PDF Chat Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials 2016 Sophie Bernard
Yves Bertot
Laurence Rideau
Pierre-Yves Strub
 1
+ IrrationalitĂ© de valeurs de zĂȘta (d'aprĂšs ApĂ©ry, Rivoal, ...) 2003 StĂ©phane Fischler
 1
+ Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics 2008 Loïc Pottier
 1
+ Nine Chapters of Analytic Number Theory in Isabelle/HOL. 2019 Manuel Eberl
 1
+ PDF Chat Formal Proof of a Wave Equation Resolution Scheme: The Method Error 2010 Sylvie Boldo
François Clément
Jean-Christophe FilliĂątre
Micaela Mayero
Guillaume Melquiond
Pierre Weis
 1
+ PDF Chat Many odd zeta values are irrational 2019 Stéphane Fischler
Johannes Sprang
Wadim Zudilin
 1
+ PDF Chat Introduction to Analytic Number Theory 1976 Tom M. Apostol
 1
+ PDF Chat La fonction zĂȘta de Riemann prend une infinitĂ© de valeurs irrationnelles aux entiers impairs 2000 Tanguy Rivoal
 1
+ Formalizing a Proof that e is Transcendental 2011 Jesse Bingham
 1
+ PropriĂ©tĂ©s diophantiennes de la fonction zĂȘta de Riemann aux entiers impairs 2001 Tanguy Rivoal
 1
+ Non-commutative Elimination in Ore Algebras Proves Multivariate Identities 1998 Frédéric Chyzak
Bruno Salvy
 1