Groebner_Bases
From MaRDI portal
Software:43935
No author found.
Related Items (4)
A formal proof of the expressiveness of deep learning ⋮ A formal proof of the expressiveness of deep learning ⋮ Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL ⋮ Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL
This page was built for software: Groebner_Bases
