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