Algolib

MaRDI QIDQ16298swMATHFDO

Official website https://algo.inria.fr/libraries/

Cited in

(9)

• The number of guillotine partitions in \(d\) dimensions
• Computational aspects of sturdy and flimsy numbers
• CoqEAL
• gdev
• Coq-Combi
• Zeta_3_Irrational
• A formal proof of the irrationality of \(\zeta(3)\)
• The number of hierarchical orderings
• A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)

This page was built for software: Algolib