complexity verification

Explore academic connections and research related to this keyword

60
Views
2
Total Connections
Search More Keywords

Related Articles & Bibliographies

1
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
Thiemann, René;Bottesch, Ralph;Divasón, Jose;Haslbeck, Max W;Joosten, Sebastiaan J C;Yamada, Akihisa...
2020 Journal of Automated Reasoning DOI: 10.1007/s10817-020-0... 110 views

Related Journals

Journal of Automated Reasoning
ISSN: 0168-7433 149 views

Related Research Groups

No Research Groups Found

No research groups are currently associated with this keyword.

Explore Related Keywords

lattices certified algorithm polynomial factorization shortest vector problem verified lll implementation