RISC Publications in the frame of project 'Theory Exploration in Theorema: Recent Approaches to Gröbner Bases'
2021
Alexander Maletzky.A generic and executable formalization of signature-based Gröbner basis algorithms.J. Symb. Comput.106, pp. 23-47.2021.Elsevier,ISSN 0747-7171.arXiv:2012.02239 [cs.SC], https://doi.org/10.1016/j.jsc.2020.12.001.[url][bib]
2019
A. Maletzky.Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. In: Intelligent Computer Mathematics (Proceedings of CICM 2019, Prague, Czech Republic, July 8-12), Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti-Coen (ed.), Proceedings of CICM 2019, Lecture Notes in Computer Science, pp. ?-?.2019.Springer,to appear.[pdf][bib]