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
