Technical Reports in the frame of project 'Theory Exploration in Theorema: Recent Approaches to Gröbner Bases'
2019
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]
2018
A. Maletzky, F. Immler.Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL (extended version). RISC, JKU Linz. Technical report, May2018.arXiv:1805.00304 [cs.LO].[url][bib]
A. Maletzky.Gröbner Bases and Macaulay Matrices in Isabelle/HOL. RISC. Technical report, December2018.[pdf][bib]
A. Maletzky.A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms. RISC. Technical report, September2018.Submitted.[pdf][bib]
2017
A. Maletzky.A New Reasoning Framework for Theorema 2.0. RISC, Johannes Kepler University Linz. Technical report, May2017.Accepted as work-in-progress paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21).[pdf][bib]