Zeta_3_Irrational

swMATH38040MaRDI QIDQ53740FDOQ53740

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Zeta_3_Irrational.html

Cited In (3)

• A formal proof of the irrationality of \(\zeta(3)\)
• Algolib
• Coq-Combi

This page was built for software: Zeta_3_Irrational