Alexander Maletzky

According to our database, Alexander Maletzky authored at least 20 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set.

Alexander Maletzky, Nikolaus Hofer, Stefan Thumfart, Karin Bruckmüller, Johannes Kasper

Data, January, 2023

CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data.

Alexander Maletzky, Sophie Kaltenleithner, Philipp Moser, Michael Giretzlehner

Proceedings of the Artificial Intelligence Applications and Innovations, 2023

2022

Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests.

Theresa Roland, Carl Böck, Thomas Tschoellitsch, Alexander Maletzky, Sepp Hochreiter, Jens Meier, Günter Klambauer

J. Medical Syst., 2022

2021

A generic and executable formalization of signature-based Gröbner basis algorithms.

Alexander Maletzky

J. Symb. Comput., 2021

Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany.

Alexander Maletzky, Stefan Thumfart, Christoph Wruß

CoRR, 2021

2019

Hilbert's Nullstellensatz.

Alexander Maletzky

Arch. Formal Proofs, 2019

Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds.

Alexander Maletzky

Arch. Formal Proofs, 2019

Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL.

Alexander Maletzky

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

Signature-Based Gröbner Basis Algorithms.

Alexander Maletzky

Arch. Formal Proofs, 2018

Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL.

Alexander Maletzky, Fabian Immler

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017

The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.

Alexander Maletzky, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016

Theorema 2.0: Computer-Assisted Natural-Style Mathematics.

Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger

J. Formaliz. Reason., 2016

Verifying Buchberger's Algorithm in Reduction Rings.

Alexander Maletzky

CoRR, 2016

Gröbner Bases Theory.

Fabian Immler, Alexander Maletzky

Arch. Formal Proofs, 2016

Mathematical Theory Exploration in Theorema: Reduction Rings.

Alexander Maletzky

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0.

Alexander Maletzky

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates.

Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

Automated Reasoning in Reduction Rings Using the Theorema System.

Alexander Maletzky

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema.

Alexander Maletzky, Bruno Buchberger

Proceedings of the Mathematical Software - ICMS 2014, 2014

Groebner Bases in Theorema.

Bruno Buchberger, Alexander Maletzky

Proceedings of the Mathematical Software - ICMS 2014, 2014