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

Frdric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi

Browse the full ITP paper archive.