lattices

Explore academic connections and research related to this keyword

144
Views
3
Total Connections
Search More Keywords

Related Articles & Bibliographies

1
Disordered hyperuniformity in superconducting vortex lattices
José Benito Llorens,Isabel Guillamón,Ismael G. Serrano,Rosa Córdoba,Javier Sesé,José María De Teresa...
2020 physical review research DOI: 10.1103/physrevresea... 223 views
2
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

structure fluctuations variance vortex superconducting vortices pinning arranged hyperuniform certified algorithm complexity verification polynomial factorization shortest vector problem verified lll implementation