Vector Spaces

swMATH28662MaRDI QIDQ40376FDOQ40376

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: Vector Spaces