Alexander Maletzky

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A generic and executable formalization of signature-based Gröbner basis algorithms Journal of Symbolic Computation	2021-06-03	Paper
Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL	2020-01-22	Paper
Theorema 2.0: computer-assisted natural-style mathematics	2019-09-18	Paper
Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL (available as arXiv preprint)	2018-10-18	Paper
The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema	2017-07-21	Paper
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 Mathematical Software – ICMS 2016	2016-09-28	Paper
Mathematical theory exploration in Theorema: reduction rings Lecture Notes in Computer Science	2016-08-30	Paper
Verifying Buchberger's Algorithm in Reduction Rings	2016-04-29	Paper
Automated reasoning in reduction rings using the Theorema system Computer Algebra in Scientific Computing	2015-11-25	Paper
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates Computer Algebra in Scientific Computing	2015-11-25	Paper
Groebner bases in Theorema Mathematical Software – ICMS 2014	2014-09-08	Paper
Complexity analysis of the bivariate Buchberger algorithm in Theorema Mathematical Software – ICMS 2014	2014-09-08	Paper

Research outcomes over time

This page was built for person: Alexander Maletzky