A computer-algebra-based formal proof of the irrationality of ζ(3)

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'A computer-algebra-based formal proof of the irrationality of ζ(3)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science