A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-019-09526-y
@@ Property / DOI: 10.1007/s10817-019-09526-y / rank @@
-Normal rank
@@ Property / cites work @@
+Bounds on factors in \(\mathbb Z[x]\)
@@ Property / cites work: Bounds on factors in \(\mathbb Z[x]\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356368
@@ Property / cites work: Q4356368 / rank @@
+Normal rank
@@ Property / cites work @@
+Locales: a module system for mathematical theories
+Normal rank
@@ Property / cites work @@
+Verified Indifferentiable Hashing into Elliptic Curves
+Normal rank
@@ Property / cites work @@
+Q5550483
@@ Property / cites work: Q5550483 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundational (co)datatypes and (co)recursion for higher-order logic
+Normal rank
@@ Property / cites work @@
+A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Factoring Polynomials Over Finite Fields
+Normal rank
@@ Property / cites work @@
+Computing the measure of a polynomial
@@ Property / cites work: Computing the measure of a polynomial / rank @@
+Normal rank
@@ Property / cites work @@
+A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
+Normal rank
@@ Property / cites work @@
+A formalization of the LLL basis reduction algorithm
+Normal rank
@@ Property / cites work @@
+Code Generation via Higher-Order Rewrite Systems
@@ Property / cites work: Code Generation via Higher-Order Rewrite Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The HOL Light theory of Euclidean space
@@ Property / cites work: The HOL Light theory of Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring polynomials and the knapsack problem
@@ Property / cites work: Factoring polynomials and the knapsack problem / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+From types to sets by local type definition in higher-order logic
+Normal rank
@@ Property / cites work @@
+Factoring polynomials with rational coefficients
@@ Property / cites work: Factoring polynomials with rational coefficients / rank @@
+Normal rank
@@ Property / cites work @@
+Fast machine words in Isabelle/HOL
@@ Property / cites work: Fast machine words in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Formally verified certificate checkers for hardest-to-round computation
+Normal rank
@@ Property / cites work @@
+An Inequality About Factors of Polynomials
@@ Property / cites work: An Inequality About Factors of Polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Algebraic Numbers in Isabelle/HOL
@@ Property / cites work: Algebraic Numbers in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Modern Computer Algebra
@@ Property / cites work: Modern Computer Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3963124
@@ Property / cites work: Q3963124 / rank @@
+Normal rank
@@ Property / cites work @@
+On Hensel factorization. I
@@ Property / cites work: On Hensel factorization. I / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-019-09526-Y
@@ Property / DOI: 10.1007/S10817-019-09526-Y / rank @@
+Normal rank