Paper Citation Record · LEDGER

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond

As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2607.01544.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.01544 v2

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T16:45:48.565415Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy0
unresolved42
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation dbbbd700-868f-4273-811d-1cc1d477473d · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 664273bd-f5ab-4408-a03a-ee239042e0ab · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c540ab5e-7cb2-4299-8be1-d04d964f2fe1 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d73222f1-8e74-400d-892d-e5134f99eafe · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3a4b740-c135-4b31-81ba-8849a01b8e81 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e7dec68-4452-45bc-8c33-a9c1a8ad618b · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45af045b-91f6-4dc1-8722-e5c83da1569f · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ed92118-51e3-4c91-95b3-346713cf4bc0 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5323dfd4-b119-497b-8595-166889aa5117 · outbound

This paper cites Bringmann, A.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Bringmann, A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5040fe98-ef8f-4837-91b4-06d5f65487b5 · outbound

This paper cites Buzzard, Division by zero in type theory: a F AQ , Xena Project blog, 2020.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Buzzard, Division by zero in type theory: a F AQ , Xena Project blog, 2020

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42d9b869-e932-471f-b116-c993b29aa9d8 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c1df6a5-0159-4992-bafe-a99248f7e55d · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d10ae93f-38a5-4169-9927-9ffd0ddda550 · outbound

This paper cites de Moura, S.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond de Moura, S

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae8126da-5923-4e8a-b682-0aa0d9bb0fd7 · outbound

This paper cites Diamond and J.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Diamond and J

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cba0578-798b-46c1-ac2e-5ce295d3a183 · outbound

This paper cites Di Francesco, P.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Di Francesco, P

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 105784ad-af75-4eed-872c-07c457cc38da · outbound

This paper cites Eichler and D.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Eichler and D

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbb888b8-d198-454e-b621-cc024d334ab5 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f091db97-2fa2-4b58-b009-0d9dd41277a0 · outbound

This paper cites Gasper and M.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Gasper and M

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69c467ad-10a5-4fb1-978f-4a7f444a865a · outbound

This paper cites Automatic Textbook Formalization.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Automatic Textbook Formalization

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4844f1af-a2b8-4e0e-bb0b-78880efe006a · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe26473c-1764-4246-a70d-9b1adea8024c · outbound

This paper cites Foundations for almost ring theory -- Release 7.5.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Foundations for almost ring theory -- Release 7.5

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c103e49-63bc-4198-a299-4e7ccbd1d3af · outbound

This paper cites An Introduction to Algebraic Combinatorics.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond An Introduction to Algebraic Combinatorics

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27e4d53e-338f-41f1-ada1-c42cfcb82f8c · outbound

This paper cites Nipkow, M.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Nipkow, M

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f51804a2-ea82-4f72-a453-1c6d0ace1a95 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6305650-108b-48dd-af0b-6eb5768445d5 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48ff6960-4997-4ace-a1e9-07cf8d7c77f0 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17400c2f-fc27-4459-95d9-7fec1bf85516 · outbound

This paper cites Lepowsky and H.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Lepowsky and H

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6732077f-7980-42aa-bab0-ba13f20db702 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a6e2694-5c58-434b-8b3a-cf791fe58390 · outbound

This paper cites Eberl, Theta Functions, Archive of Formal Proofs , December 2024, https://isa-afp.org/entries/Theta_ Functions.html, Formal proof development.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Eberl, Theta Functions, Archive of Formal Proofs , December 2024, https://isa-afp.org/entries/Theta_ Functions.html, Formal proof development

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1f9a4cd-e8b1-4d27-8bfa-dec890407578 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a0c01e6-98f4-4b5f-98c3-5fa80c26f6b7 · outbound

This paper cites Eberl, The Rogers–Ramanujan Identities, Archive of Formal Proofs , December 2024, https://isa-afp.org/ entries/Rogers_Ramanujan.html, Formal proof development.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Eberl, The Rogers–Ramanujan Identities, Archive of Formal Proofs , December 2024, https://isa-afp.org/ entries/Rogers_Ramanujan.html, Formal proof development

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53256089-27c6-4c7f-b14d-4d72c9cb2bd7 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69ab366a-9909-4b4c-aa88-73c61574cc68 · outbound

This paper cites Ono, The Web of Modularity: Arithmetic of the Coeﬀicients of Modular Forms and q-series, CBMS Regional Conference Series in Mathematics, vol.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Ono, The Web of Modularity: Arithmetic of the Coeﬀicients of Modular Forms and q-series, CBMS Regional Conference Series in Mathematics, vol

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d3223f6-d72d-4f74-a733-f2ead88b9ce1 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbc3a8e1-1507-4ffc-9ef0-dbe8b1cc16d5 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ae5d00c-2486-4b8c-b21f-50a371e87985 · outbound

This paper cites Serre, Formes modulaires et fonctions zêta p-adiques.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Serre, Formes modulaires et fonctions zêta p-adiques

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3b333bd-b619-418c-ae42-2a0c4073237b · outbound

This paper cites Schoeneberg, Elliptic Modular Functions: An Introduction , Springer, Berlin, 1974.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Schoeneberg, Elliptic Modular Functions: An Introduction , Springer, Berlin, 1974

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 240e1868-87e9-43fa-847b-cee80bcf73a4 · outbound

This paper cites Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche , Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin (1917), 302–321.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche , Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin (1917), 302–321

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c57a71b6-fdd2-490b-9eb6-ea5a29ee0f47 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc74fbaf-230f-4044-94e7-c75a442130d1 · outbound

This paper cites Tabled Typeclass Resolution.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Tabled Typeclass Resolution

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dca0557c-16ec-4b08-ac33-1c39c520e6bd · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b172cc7-b577-4029-b226-5a2d97d6d890 · outbound

This paper cites an unresolved cited work.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f03ff84-2531-4339-81e1-dd612c5f6bb2 · outbound

This paper cites Zagier, Elliptic Modular Forms and Their Applications , in The 1-2-3 of Modular Forms (J.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond Zagier, Elliptic Modular Forms and Their Applications , in The 1-2-3 of Modular Forms (J

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-14T16:45:48.565415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.