Pages that link to "Item:Q1798967"
From MaRDI portal
The following pages link to Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL (Q1798967):
Displaying 4 items.
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL (Q2287906) (← links)
- A formal proof of the expressiveness of deep learning (Q5915784) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)