CoqEAL

swMATH3703MaRDI QIDQ16057FDOQ16057

Author name not available (Why is that?)

Official website: http://www.maximedenes.fr/content/coqeal-coq-effective-algebra-library

Cited In (9)

• A certified reduction strategy for homological image processing
• A formal proof of the irrationality of \(\zeta(3)\)
• Algolib
• Coq/SSReflect
• Coq-Combi
• Zeta_3_Irrational
• ML4PG in computer algebra verification
• Formalized linear algebra over elementary divisor rings in \textsc{Coq}
• A formal proof of Sasaki-Murao algorithm

This page was built for software: CoqEAL