Groebner_Bases

swMATH32224MaRDI QIDQ43935FDOQ43935

Author name not available (Why is that?)

Cited In (4)

• 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
• A formal proof of the expressiveness of deep learning
• A formal proof of the expressiveness of deep learning

This page was built for software: Groebner_Bases