Pages that link to "Item:Q5222951"
From MaRDI portal
The following pages link to A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (Q5222951):
Displaying 7 items.
- A formalization of the LLL basis reduction algorithm (Q1791154) (← 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)
- LLL reducing with the most significant bits (Q3452418) (← links)
- (Q4787201) (← links)
- Formalizing Coppersmith's method in Isabelle/HOL (Q6648162) (← links)