Cited in
(9)- Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL
- Jordan Normal Forms
- Deep_Learning
- Groebner_Bases
- Group-Ring-Module
- Matrix_Tensor
- 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: Polynomials