Vector Spaces

MaRDI QIDQ40376swMATHFDO

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

Cited in

(5)

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

This page was built for software: Vector Spaces