Vector Spaces

swMATH28662MaRDI QIDQ40376FDOQ40376

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: Vector Spaces