Alexander Maletzky

Available identifiers

zbMath Open maletzky.alexanderMaRDI QIDQ1798966

List of research outcomes

Publication	Date of Publication	Type
A generic and executable formalization of signature-based Gröbner basis algorithms	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	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	2016-09-28	Paper
Mathematical theory exploration in Theorema: reduction rings	2016-08-30	Paper
Verifying Buchberger's Algorithm in Reduction Rings	2016-04-29	Paper
Automated reasoning in reduction rings using the Theorema system	2015-11-25	Paper
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates	2015-11-25	Paper
Groebner bases in Theorema	2014-09-08	Paper
Complexity analysis of the bivariate Buchberger algorithm in Theorema	2014-09-08	Paper

Research outcomes over time

This page was built for person: Alexander Maletzky