Login / Signup

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.

Ralph BotteschMax W. HaslbeckRené Thiemann
Published in: LPAR (2018)
Keyphrases
  • efficient implementation
  • active set
  • hardware implementation
  • efficient processing
  • highly parallel