Theorema 2.0: computer-assisted natural-style mathematics B Buchberger, T Jebelean, T Kutsia, A Maletzky, W Windsteiger
Journal of Formalized Reasoning 9 (1), 149-185, 2016
65 2016 Domain shifts in machine learning based Covid-19 diagnosis from blood tests T Roland, C Böck, T Tschoellitsch, A Maletzky, S Hochreiter, J Meier, ...
Journal of Medical Systems 46 (5), 23, 2022
26 2022 Lifting hospital electronic health record data treasures: challenges and opportunities A Maletzky, C Böck, T Tschoellitsch, T Roland, H Ludwig, S Thumfart, ...
JMIR Medical Informatics 10 (10), e38557, 2022
17 2022 Computer-assisted exploration of Gröbner bases theory in Theorema A Maletzky
Ph. D. thesis, RISC, Johannes Kepler University Linz, Austria, 2016
10 2016 Executable multivariate polynomials C Sternagel, R Thiemann, A Maletzky, F Immler
Archive of Formal Proofs 8, 2010
9 2010 Executable multivariate polynomials. Archive of Formal Proofs (2010) C Sternagel, R Thiemann, A Maletzky, F Immler
8 Using emergency department triage for machine learning-based admission and mortality prediction T Tschoellitsch, P Seidl, C Böck, A Maletzky, P Moser, S Thumfart, ...
European Journal of Emergency Medicine 30 (6), 408-416, 2023
7 2023 Executable multivariate polynomials. Archive of Formal Proofs, August 2010 C Sternagel, R Thiemann, A Maletzky, F Immler, F Haftmann, A Lochbihler, ...
7 Machine learning based outcome prediction of microsurgically treated unruptured intracranial aneurysms N Stroh, H Stefanits, A Maletzky, S Kaltenleithner, S Thumfart, ...
Scientific Reports 13 (1), 22641, 2023
6 2023 Traffic sign detection and classification on the Austrian highway traffic sign data set A Maletzky, N Hofer, S Thumfart, K Bruckmüller, J Kasper
Data 8 (1), 16, 2023
6 2023 Machine learning based COVID-19 diagnosis from blood tests with robustness to domain shifts T Roland, C Böck, T Tschoellitsch, A Maletzky, S Hochreiter, J Meier, ...
medRxiv, 2021.04. 06.21254997, 2021
6 2021 Gröbner Bases of Modules and Faugère’s A Maletzky, F Immler
International Conference on Intelligent Computer Mathematics, 178-193, 2018
6 2018 Gröbner bases theory F Immler, A Maletzky
Archive of Formal Proofs, 2016
6 2016 Gröbner bases theory. Archive of Formal Proofs (2016) F Immler, A Maletzky
5 Verifying Buchberger's algorithm in reduction rings A Maletzky
arXiv preprint arXiv:1604.08736, 2016
4 2016 Mathematical theory exploration in Theorema: Reduction rings A Maletzky
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
4 2016 Exploring reduction ring theory in theorema A Maletzky
RISC Report Series, no. 15-11, 2015
4 2015 Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema A Maletzky, B Buchberger
International Congress on Mathematical Software, 41-48, 2014
4 2014 A generic and executable formalization of signature-based Gröbner basis algorithms A Maletzky
Journal of Symbolic Computation 106, 23-47, 2021
3 2021 Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL A Maletzky
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
3 2019 