Berlekamp Zassenhaus
From MaRDI portal
Software:40310
No author found.
Related Items (10)
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL ⋮ From types to sets by local type definition in higher-order logic ⋮ Comprehending Isabelle/HOL’s Consistency ⋮ A verified implementation of the Berlekamp-Zassenhaus factorization algorithm ⋮ From LCF to Isabelle/HOL ⋮ A formalization of the LLL basis reduction algorithm ⋮ Verifying asymptotic time complexity of imperative programs in Isabelle ⋮ A verified implementation of algebraic numbers in Isabelle/HOL ⋮ Classification of finite fields with applications ⋮ A formalization of the Smith normal form in higher-order logic
This page was built for software: Berlekamp Zassenhaus
