Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL

DOI10.1007/978-3-319-96812-4_16zbMath1417.68189arXiv1805.00304OpenAlexW2810124406MaRDI QIDQ1798967

Alexander Maletzky, Fabian Immler

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1805.00304

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items (3)

A formal proof of the expressiveness of deep learning ⋮ A generic and executable formalization of signature-based Gröbner basis algorithms ⋮ A formal proof of the expressiveness of deep learning

Uses Software

• Isabelle
• Isabelle/HOL
• Mizar
• HOL
• Jordan Normal Forms
• Groebner_Bases
• Deep_Learning
• Polynomials

This page was built for publication: Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL