swMATH32226MaRDI QIDQ43937FDOQ43937
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Polynomials.html
Cited In (9)
- 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
- Jordan Normal Forms
- Deep_Learning
- Groebner_Bases
- Group-Ring-Module
- Matrix_Tensor
- 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
