Ecosyste.ms: Papers

An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.

Papers: 10.1007/s10817-020-09552-1

https://doi.org/10.1007/s10817-020-09552-1

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

Cited by: 0
Author(s): René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Published: over 4 years ago

Software Mentions 1

pypi: ghc

List up GitHub user / org repositories filtered by topics (ghc = GitHub Collector)
Papers that mentioned: 1