scientific article; zbMATH DE number 1254303
From MaRDI portal
Publication:4227353
Recommendations
Cited in
(7)- Common factors in fraction-free matrix decompositions
- Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
- Gram-Schmidt orthogonalization: 100 years and more
- Optimal algorithms of Gram-Schmidt type
- Verified LLL
- On the formalization of Gram-Schmidt process for orthonormalizing a set of vectors
- Roundoff-error-free QR factorization via integer-preserving Gram Schmidt orthogonalization
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227353)