Login / Signup

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.

René ThiemannRalph BotteschJose DivasónMax W. HaslbeckSebastiaan J. C. JoostenAkihisa Yamada
Published in: J. Autom. Reason. (2020)
Keyphrases
  • theorem prover
  • natural deduction
  • low density
  • inference rules
  • theorem proving
  • data analysis
  • image analysis
  • first order logic
  • data sets
  • knowledge base
  • wireless sensor networks
  • logic programming