The following pages link to Alexander Maletzky (Q1798966):
Displaying 11 items.
- Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL (Q1798967) (← links)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL (Q2287906) (← links)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (Q2364696) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema (Q2879096) (← links)
- Groebner Bases in Theorema (Q2879150) (← links)
- Automated Reasoning in Reduction Rings Using the Theorema System (Q3454553) (← links)
- Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates (Q3454560) (← links)
- Theorema 2.0: Computer-Assisted Natural-Style Mathematics (Q5195272) (← links)
