nasa/pvslib: papers linking to it

GitHub · 313 stars · 61 forks · Common Lisp · created 2014 · github.com/nasa/pvslib

← Code and data repositories cited in research papers

Research papers in the 480 tracked journals that link to nasa/pvslib (https://github.com/nasa/pvslib), read from their Crossref records: by year, category and journal, the family tree of papers building on one another, and the linked repositories derived from it or that it derives from.

Key findings#

3 papers in the tracked journals link to the GitHub repository nasa/pvslib in their Crossref records, the first in 2023; most of them (1) in 2026.
By category: AI (3); the journals with the most are Journal of Automated Reasoning (3).

By year#

20232026

Papers linking to nasa/pvslib by publication year
Year	Papers
2023	1
2024	1
2026	1

Journals#

Journals whose papers link to nasa/pvslib most
Journal	Papers
Journal of Automated Reasoning	3

Papers linking to nasa/pvslib, most cited first
Published	Title	Journal	Authors	Citations	Link
2023-08-18	Measure Construction by Extension in Dependent Type Theory with Application to Integration	Journal of Automated Reasoning	Reynald Affeldt, Cyril Cohen	10	cites it
2024-10-21	Windmills of the Minds: A Hopping Algorithm for Fermat’s Two Squares Theorem	Journal of Automated Reasoning	Hing-Lun Chan	0	cites it
2026-08-24	A Rocq Prover STL Formalization with Transformations for Mission Planning	Journal of Automated Reasoning	Danil Berrah, François Pessaux, Alexandre Chapoutot	0	cites it

How this is measured#

Links are read from each paper's Crossref record as its publisher deposited it: the URLs and repository DOIs in its reference list (the software and data it cites) and its supplementary links (“is-supplemented-by”: its own code or data). A paper that gives its code only in the text, a footnote or a data availability statement is not counted, and some publishers deposit reference lists without their URLs, so every count here is a lower bound. Repository details come from the GitHub REST API (stars, forks, and the repository a fork was made from), the Hugging Face Hub API (likes, downloads, and the base model a model was derived from) and DataCite (Zenodo and other data DOIs, and the GitHub release a Zenodo record archives), read again every month.

Cite this page

Scholar4AI. (2026). nasa/pvslib: papers linking to it. Journal and Conference Research Rankings. Retrieved November 3, 2026, from https://scholar4ai.com/code/github-nasa-pvslib

@misc{scholar4ai-code-github-nasa-pvslib,
  author = {{Scholar4AI}},
  title = {nasa/pvslib: papers linking to it},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/code/github-nasa-pvslib}},
  urldate = {2026-11-03},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}

Free to reuse for non-commercial purposes with attribution (CC BY-NC 4.0).