Alexander Maletzky

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 19

Top Topics

Numerically Stable

Prime Implicants

Traffic Sign Detection

Top Venues

Arch. Formal Proofs

Publications

Alexander Maletzky, Sophie Kaltenleithner, Philipp Moser, Michael Giretzlehner
CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data. AIAI (2) (2023)
Alexander Maletzky, Nikolaus Hofer, Stefan Thumfart, Karin Bruckmüller, Johannes Kasper
Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set. Data 8 (1) (2023)
Theresa Roland, Carl Böck, Thomas Tschoellitsch, Alexander Maletzky, Sepp Hochreiter, Jens Meier, Günter Klambauer
Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests. J. Medical Syst. 46 (5) (2022)
Alexander Maletzky
A generic and executable formalization of signature-based Gröbner basis algorithms. J. Symb. Comput. 106 (2021)
Alexander Maletzky, Stefan Thumfart, Christoph Wruß
Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany. CoRR (2021)
Alexander Maletzky
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms. CoRR (2020)
Alexander Maletzky
Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds. Arch. Formal Proofs 2019 (2019)
Alexander Maletzky
Hilbert's Nullstellensatz. Arch. Formal Proofs 2019 (2019)
Alexander Maletzky
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. CICM (2019)
Alexander Maletzky, Fabian Immler
Algorithm in Isabelle/HOL. CoRR (2018)
Alexander Maletzky
Signature-Based Gröbner Basis Algorithms. Arch. Formal Proofs 2018 (2018)
Alexander Maletzky, Fabian Immler
Algorithm in Isabelle/HOL. CICM (2018)
Alexander Maletzky, Wolfgang Windsteiger
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. CICM (2017)
Alexander Maletzky
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. ICMS (2016)
Alexander Maletzky
Verifying Buchberger's Algorithm in Reduction Rings. CoRR (2016)
Alexander Maletzky
Mathematical Theory Exploration in Theorema: Reduction Rings. CoRR (2016)
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9 (1) (2016)
Fabian Immler, Alexander Maletzky
Gröbner Bases Theory. Arch. Formal Proofs 2016 (2016)
Alexander Maletzky
Mathematical Theory Exploration in Theorema: Reduction Rings. CICM (2016)
Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. CASC (2015)
Alexander Maletzky
Automated Reasoning in Reduction Rings Using the Theorema System. CASC (2015)
Bruno Buchberger, Alexander Maletzky
Groebner Bases in Theorema. ICMS (2014)
Alexander Maletzky, Bruno Buchberger
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. ICMS (2014)