Vector Spaces

MaRDI QIDQ40376swMATHFDO

Authors Holden Lee

Publication date 29 August 2014

Official website https://www.isa-afp.org/entries/VectorSpace.html

Cited in

(5)

• A formalization of the LLL basis reduction algorithm
• A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
• Berlekamp Zassenhaus
• Verified LLL
• Sqrt_Babylonian

This page was built for software: Vector Spaces