Paper Citation Record · LEDGER

Certified algorithms for numerical semigroups in Rocq

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

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

pith.paper-citation-record.v1
2505.23205 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:59:53.739181Z

measured 14 of 14 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

14 of 14 outbound references displayed

verified exact4
verified fuzzy4
unresolved3
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 14d78447-5d27-415a-bae3-9a96699ac346 · outbound

This paper cites an unresolved cited work.

Certified algorithms for numerical semigroups in Rocq Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:59:55.880318Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c08731ec-2804-4a36-9851-cc181c90c0be · outbound

This paper cites Springer (2020).

Certified algorithms for numerical semigroups in Rocq Springer (2020)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:59:55.771768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7087862a-aa5a-4d4e-8692-b575f938efb4 · outbound

This paper cites Journal of Commutative Algebra2(3) (2010).https://doi.org/10.1216/ JCA-2010-2-3-281.

Certified algorithms for numerical semigroups in Rocq Journal of Commutative Algebra2(3) (2010).https://doi.org/10.1216/ JCA-2010-2-3-281

Reference 3

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T12:59:55.622111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cfbfb2ff-a753-40ac-8241-2a44f1606b5c · outbound

This paper cites The Electronic Journal of Combinatorics12 (2005).

Certified algorithms for numerical semigroups in Rocq The Electronic Journal of Combinatorics12 (2005)

Reference 4

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T12:59:54.719859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 58356e92-cc9c-473f-a0e2-1862b941993c · outbound

This paper cites International Journal of Algebra and Compu- tation 21(07), 1217–1235 (2011).https://doi.org/10.1142/S0218196711006911, https://doi.org/10.1142/S0218196711006911.

Certified algorithms for numerical semigroups in Rocq International Journal of Algebra and Compu- tation 21(07), 1217–1235 (2011).https://doi.org/10.1142/S0218196711006911, https://doi.org/10.1142/S0218196711006911

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T12:59:54.442563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0f91eee0-3be9-429d-872e-c226a9d7315c · outbound

This paper cites Journal of the London Mathematical So- ciety 60(2), 420–430 (10 1999).

Certified algorithms for numerical semigroups in Rocq Journal of the London Mathematical So- ciety 60(2), 420–430 (10 1999)

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T12:59:54.329090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 897d9f46-4e45-4014-9e04-69ca471e0e40 · outbound

This paper cites Journal of Algebra and Its Applications20(05) (2021).

Certified algorithms for numerical semigroups in Rocq Journal of Algebra and Its Applications20(05) (2021)

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T12:59:54.133578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fee88d75-f937-4eba-b643-d2dc68947e83 · outbound

This paper cites an unresolved cited work.

Certified algorithms for numerical semigroups in Rocq Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:59:55.489787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e3ed65ee-1a43-4321-af62-10c53682a3c9 · outbound

This paper cites IEEE Transactions on Information Theory60(1), 282–295 (2014).https://doi.org/10.1109/TIT.2013.

Certified algorithms for numerical semigroups in Rocq IEEE Transactions on Information Theory60(1), 282–295 (2014).https://doi.org/10.1109/TIT.2013

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T12:59:53.361703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1861f2a0-33f7-4c38-83c2-04dbabdedc66 · outbound

This paper cites Journal für die reine und angewandte Mathematik336, 165–184 (1982), http://eudml.org/ doc/152474.

Certified algorithms for numerical semigroups in Rocq Journal für die reine und angewandte Mathematik336, 165–184 (1982), http://eudml.org/ doc/152474

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:59:55.332952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0bccd893-61ec-451a-8d98-414d46083f48 · outbound

This paper cites Oxford University Press (2005).

Certified algorithms for numerical semigroups in Rocq Oxford University Press (2005)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:59:55.202342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 624b7dc7-3352-4420-a315-5542fdd09c40 · outbound

This paper cites Springer (2009).

Certified algorithms for numerical semigroups in Rocq Springer (2009)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:59:55.091335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ef3dbc72-7440-4f03-84f1-8f5290d3a12b · outbound

This paper cites Semigroup Forum67(1), 145–158 (2003), https://doi.org/10.1007/s00233-002-0007-3.

Certified algorithms for numerical semigroups in Rocq Semigroup Forum67(1), 145–158 (2003), https://doi.org/10.1007/s00233-002-0007-3

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T12:59:53.929371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 504ed148-0b92-446d-8250-dc1b93d5d079 · outbound

This paper cites Journal of Pure and Applied Algebra 189(1), 301–313 (2004).

Certified algorithms for numerical semigroups in Rocq Journal of Pure and Applied Algebra 189(1), 301–313 (2004)

Reference 14

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T12:59:54.874634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.