Pages that link to "Item:Q1984794"
From MaRDI portal
The following pages link to A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794):
Displaying 8 items.
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL (Q2209537) (← links)
- A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244) (← links)
- Classification of finite fields with applications (Q2323448) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
- Trustworthy Graph Algorithms (Invited Talk) (Q5092359) (← links)
