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.

Projects: pypi: ghc

https://packages.ecosyste.ms/registries/pypi.org/packages/ghc

List up GitHub user / org repositories filtered by topics (ghc = GitHub Collector)
9 versions
Latest release: about 4 years ago
65 downloads last month

Papers Mentioning ghc 1

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
Software Mentions: 1
Published: over 4 years ago