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

@@ Property / author @@
+Sebastiaan J. C. Joosten
@@ Property / author: Sebastiaan J. C. Joosten / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Locales
@@ Property / describes a project that uses: Locales / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sqrt_Babylonian
@@ Property / describes a project that uses: Sqrt_Babylonian / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lifting
@@ Property / describes a project that uses: Lifting / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Transfer
@@ Property / describes a project that uses: Transfer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Berlekamp Zassenhaus
@@ Property / describes a project that uses: Berlekamp Zassenhaus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Vector Spaces
@@ Property / describes a project that uses: Vector Spaces / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q91740323
@@ Property / Wikidata QID: Q91740323 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-019-09526-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2951586102
@@ Property / OpenAlex ID: W2951586102 / 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