English Lenstra–Lenstra–Lovász lattice basis reduction algorithm Cited by user 2601:18C:4303:4EB0:D56:3E2D:8BE:1FD4 on 03 May 2020 The Lenstra–Lenstra–Lovász (LLL) lattice basis reduction algorithm is a polynomial time lattice reduction algorithm invented by Arjen Lenstra, Hendrik Lenstra and László…
English Coq Cited by user JC7V7DC5768 on 21 Oct 2018 Coq is an interactive theorem prover first released in 1989. It allows for the expression of mathematical assertions, mechanically checks proofs of these assertions…