RISC Publications and Technical Reports 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]
A. Maletzky.Gröbner Bases and Macaulay Matrices in Isabelle/HOL. RISC, JKU Linz. Technical report, 2019.Submitted to Formal Aspects of Computing.[pdf][bib]
A. Maletzky.Theorema-HOL: Classical Higher-Order Logic in Theorema. Technical report no. 19-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2019.[pdf][bib]