Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada 0002. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. Journal of Automated Reasoning, 64(5):827-856, 2020. [doi]

This author has not been identified. Look up 'René Thiemann' in GoogleThis author has not been identified. Look up 'Ralph Bottesch' in GoogleThis author has not been identified. Look up 'Jose Divasón' in GoogleThis author has not been identified. Look up 'Max W. Haslbeck' in GoogleThis author has not been identified. Look up 'Sebastiaan J. C. Joosten' in GoogleThis author has not been identified. Look up 'Akihisa Yamada 0002' in Google

runs on WebDSL