A formal proof of the expressiveness of deep learning
Deep learning has had a profound impact on computer science in recent years, with
applications to image recognition, language processing, bioinformatics, and more. Recently …
applications to image recognition, language processing, bioinformatics, and more. Recently …
Gröbner Bases of Modules and Faugère's Algorithm in Isabelle/HOL
A Maletzky, F Immler - International Conference on Intelligent Computer …, 2018 - Springer
We present an elegant, generic and extensive formalization of Gröbner bases, an important
mathematical theory in the field of computer algebra, in Isabelle/HOL. The formalization …
mathematical theory in the field of computer algebra, in Isabelle/HOL. The formalization …
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL
A Maletzky - … : 12th International Conference, CICM 2019, Prague …, 2019 - Springer
We present an Isabelle/HOL formalization of certain upper bounds on the degrees of
Gröbner bases in multivariate polynomial rings over fields, due to Dubé. These bounds are …
Gröbner bases in multivariate polynomial rings over fields, due to Dubé. These bounds are …
[PDF][PDF] Signature-Based Gröbner Basis Algorithms
A Maletzky - Archive of Formal Proofs http://isa-afp. org/entries …, 2018 - isa-afp.org
This article formalizes signature-based algorithms for computing Gröbner bases. Such
algorithms are, in general, superior to other algorithms in terms of efficiency, and have not …
algorithms are, in general, superior to other algorithms in terms of efficiency, and have not …
[PDF][PDF] Computer-assisted exploration of Gröbner bases theory in Theorema/eingereicht von DI Alexander Maletzky
A Maletzky - 2016 - epub.jku.at
Die vorliegende Dissertation präsentiert die formale, computerunterstützte Exploration der
Theorie der Gröbner Basen im mathematischen Assistenzsystem Theorema 2.0. Die …
Theorie der Gröbner Basen im mathematischen Assistenzsystem Theorema 2.0. Die …