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
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema	2014-09-08	Paper
Groebner Bases in Theorema	2014-09-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Maletzky