A generic and executable formalization of signature-based Gröbner basis algorithms - Maletzky, Alexander (Journal of symbolic computation, 2021)
Keywords: Gröbner bases; Interactive theorem proving; Isabelle/HOL; Signature-based algorithms; Gröbner bases; Signature-based algorithms; Isabelle/HOL; Interactive theorem proving