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

  1. Thiemann, R.
  2. Bottesch, R.
  3. Divasón, J.
  4. Haslbeck, M.W.
  5. Joosten, S.J.C.
  6. Yamada, A.
Aldizkaria:
Journal of Automated Reasoning

ISSN: 1573-0670 0168-7433

Argitalpen urtea: 2020

Alea: 64

Zenbakia: 5

Orrialdeak: 827-856

Mota: Artikulua

DOI: 10.1007/S10817-020-09552-1 GOOGLE SCHOLAR lock_openSarbide irekia editor
Gordailu instituzionala: lock_openSarbide irekia Editor