---
title: "nasa/pvslib: papers citing this GitHub repository"
description: "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."
url: https://scholar4ai.com/code/github-nasa-pvslib
markdown_url: https://scholar4ai.com/code/github-nasa-pvslib.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "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. (as of 2026-11-03)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-03T14:43:26+09:00
window: 2026-10-05 to 2026-11-03
source: OpenAlex (CC0)
---

# nasa/pvslib: papers linking to it

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.

- GitHub
- 313 stars
- 61 forks
- Common Lisp
- created 2014
- https://github.com/nasa/pvslib

All repositories: https://scholar4ai.com/code.md

## 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

*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](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 3 |

## Papers

*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](https://doi.org/10.1007/s10817-023-09671-5) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Reynald Affeldt, Cyril Cohen | 10 | cites it |
| 2024-10-21 | [Windmills of the Minds: A Hopping Algorithm for Fermat’s Two Squares Theorem](https://doi.org/10.1007/s10817-024-09708-3) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | Hing-Lun Chan | 0 | cites it |
| 2026-08-24 | [A Rocq Prover STL Formalization with Transformations for Mission Planning](https://doi.org/10.1007/s10817-026-09763-y) | [Journal of Automated Reasoning](https://scholar4ai.com/journals/journal-of-automated-reasoning.md) | 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

```bibtex
@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}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).