Paper Citation Record · LEDGER

Approximate Axiomatization for Differentially-Defined Functions

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

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

pith.paper-citation-record.v1
2506.08233 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:32:37.235868Z

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

44 of 44 outbound references displayed

verified exact9
verified fuzzy2
unresolved25
parse uncertain0
malformed identifier5
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 07812a86-3110-42c9-8a30-ff759673975f · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.096168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f82e7b7-8959-47f1-bb0a-34d57375c7a0 · outbound

This paper cites Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G.

Approximate Axiomatization for Differentially-Defined Functions Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.100136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec385b7f-e9ec-4bb9-88e3-04a30e7f6156 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.103320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cd710a3-4e06-4858-9fe9-0c7d4281023f · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:32:38.349512Z

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 bcaeb760-3116-4e9a-9fad-0caa6fe433bd · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:32:37.110188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 745ba53e-6c15-4254-bd95-d2833d1fd07e · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.113507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b4a8de6-1e03-40a2-a55d-4a58720874c6 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.424035Z

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 9a83c6de-96ff-4555-b7b6-85e935d911e3 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.119936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79b75aaa-3fe1-41a7-bf0c-d30250eead79 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.122933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75705a58-5e87-4a6a-9093-fe4d76e69382 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.401201Z

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 08b654ca-35e5-42c2-a9b2-9cac3190a7c1 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.132468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c03b974-5170-43b1-ab18-a96a7223d453 · outbound

This paper cites Delta-Complete Analysis for Bounded Reachability of Hybrid Systems.

Approximate Axiomatization for Differentially-Defined Functions Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.135325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba9cdc1a-5041-467c-9a51-0a767f0ea034 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.138723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58aa26d1-c608-4c51-b7c3-80f566d21c8f · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 15

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T05:32:37.379192Z

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 e64511e3-6e32-4beb-ae99-95fd9a8760ee · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.144743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b5620c3-d755-40e2-9066-b6bde98b533f · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.147620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f130d6cf-05e1-43a2-a46b-814a58f5483d · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:32:38.339324Z

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 cd812dc7-52fb-42a4-94a7-de4a474a6c43 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 19

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:32:38.065828Z

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 a8283494-d888-4b34-8806-888c8c6b90d6 · outbound

This paper cites Deshmukh, Sriram Sankaranarayanan, and Nikos Aréchiga.

Approximate Axiomatization for Differentially-Defined Functions Deshmukh, Sriram Sankaranarayanan, and Nikos Aréchiga

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.156233Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 418697c7-0640-454f-9124-d0b393297856 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:32:37.908646Z

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 ebd79119-6209-412d-ab43-a1e90a956482 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.356749Z

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 cabdb670-037e-4923-95c4-b30905d207fb · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.166165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8f023c1-a77c-424d-a07e-c3f054bf7464 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.346916Z

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 b37b77f0-86de-4c2c-a1a3-04704821c544 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 25

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T05:32:38.329043Z

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 0a369e52-7593-4904-bd2a-eb61c7e948d5 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.175432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 244e05ba-d546-47d9-ac4c-5cde760b07d1 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.181980Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cde0fdfe-55b3-43bc-ba4e-078b500477b4 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:32:38.319192Z

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 735ab9b3-bd0b-42f5-b580-13db40daded5 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.187490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1e5d11f-1c8a-4738-bc4b-ec3215815f87 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 31

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:32:37.786168Z

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 5c521053-d5b2-49cf-b568-3655b452cf4e · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.192990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0781ff1-d482-4ef1-8856-66e2feb0df76 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.311777Z

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 edcbc0d2-748c-487f-9c37-fd42429a9a18 · outbound

This paper cites Pour-El and J.

Approximate Axiomatization for Differentially-Defined Functions Pour-El and J

Reference 34

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.301237Z

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 c6edb736-f4ba-4ef7-8887-b61c3f950767 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.201816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10b33011-81c7-4648-a9e7-08b419f07bfa · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.204640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aed93baa-aaec-42f7-8e0c-dea567529009 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.208017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36e117ad-e4f7-4b53-af59-8e8af3a1cb73 · outbound

This paper cites Tanner Slagel, Mariano M.

Approximate Axiomatization for Differentially-Defined Functions Tanner Slagel, Mariano M

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:32:38.310023Z

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 eb67775b-544f-493b-90e5-50bf0b2380b3 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 39

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:32:37.217821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28c4fb42-797c-41b3-91d0-4a30cdf78476 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T05:32:37.220652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c5746a-0afe-4749-8b3c-254e59698df3 · outbound

This paper cites 1948.A Decision Method for Elementary Algebra and Geometry.

Approximate Axiomatization for Differentially-Defined Functions 1948.A Decision Method for Elementary Algebra and Geometry

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:32:38.300320Z

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 d3fb2b4c-56c6-460d-ac79-5c5ead57c1b9 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:32:38.288382Z

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 ff48747c-009c-4e42-b071-a97c22f8bbe4 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 43

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:32:37.515741Z

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 b7d95d11-2317-4e75-91b3-5dfb846103d9 · outbound

This paper cites 2000.Computable Analysis: An Introduction.

Approximate Axiomatization for Differentially-Defined Functions 2000.Computable Analysis: An Introduction

Reference 44

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:32:37.235868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5e12274-b3f6-4926-a365-af8c960cd4d9 · outbound

This paper cites https://doi.org/10.1109/ICSTCC.2019.8885848.

Approximate Axiomatization for Differentially-Defined Functions https://doi.org/10.1109/ICSTCC.2019.8885848

Reference 2019

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:32:37.593994Z

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 0af495bd-5997-427a-b6bc-dcde1204f600 · outbound

This paper cites an unresolved cited work.

Approximate Axiomatization for Differentially-Defined Functions Unresolved cited work

Reference 2023

Resolution: verified exact; doi, observed 2026-08-07T05:32:37.284626Z

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.