( en | de | ru )

 

Disambiguation of "Maletzky, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Theorema 2.0: Computer-Assisted Natural-Style Mathematics.

, , , , and . J. Formaliz. Reason., 9 (1): 149-185 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Maletzky

Tobias Maletzky

Martina Maletzky

Alexander

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)
 

Other publications of authors with the same name

Hilbert's Nullstellensatz.. Arch. Formal Proofs, (2019)CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data., , , and . AIAI (2), volume 676 of IFIP Advances in Information and Communication Technology, page 57-68. Springer, (2023)The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema., and . CICM, volume 10383 of Lecture Notes in Computer Science, page 25-39. Springer, (2017)Mathematical Theory Exploration in Theorema: Reduction Rings.. CICM, volume 9791 of Lecture Notes in Computer Science, page 3-17. Springer, (2016)Automated Reasoning in Reduction Rings Using the Theorema System.. CASC, volume 9301 of Lecture Notes in Computer Science, page 307-321. Springer, (2015)Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL.. CICM, volume 11617 of Lecture Notes in Computer Science, page 155-170. Springer, (2019)Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds.. Arch. Formal Proofs, (2019)A generic and executable formalization of signature-based Gröbner basis algorithms.. J. Symb. Comput., (2021)Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0.. ICMS, volume 9725 of Lecture Notes in Computer Science, page 59-66. Springer, (2016)A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms.. CoRR, (2020)