Algolib

swMATH4111MaRDI QIDQ16298FDOQ16298

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: Algolib