Groebner_Bases

MaRDI QIDQ43935swMATHFDO

Official website https://www.isa-afp.org/entries/Groebner_Bases.html

Cited in

(9)

• Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL
• Jordan Normal Forms
• Deep_Learning
• Group-Ring-Module
• Matrix_Tensor
• Polynomials
• Gröbner bases of modules and Faugère's F₄ 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