Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T16:51:16.712428Z
Paper Citation Record · LEDGER
On Minimal and Minimum Cylindrical Algebraic Decompositions
As of 13 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2411.13218.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
18 of 18 outbound references displayed
- verified exact3
- verified fuzzy3
- unresolved8
- parse uncertain0
- malformed identifier4
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 87be4b43-7496-44ba-961b-9edb3b403ea9 · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-12T16:51:16.819067Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 22992fb7-0a45-4c5e-afc9-ccca8b419a36 · outbound
This paper cites Baader and T.
On Minimal and Minimum Cylindrical Algebraic Decompositions Baader and T
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.649281Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65e07396-b107-40eb-895d-7d91c9aaf582 · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.653240Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 053e95b8-c6d5-487f-9307-217d31fd10bd · outbound
This paper cites Bochnak, M.
On Minimal and Minimum Cylindrical Algebraic Decompositions Bochnak, M
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.657182Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a910fe62-70c5-4dd5-878e-818e422bbbd0 · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 5
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-12T16:51:17.102441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a0521ef9-553c-4538-a5d4-957b4cb28b4f · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-12T16:51:16.782029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3ce0fe67-ffee-494f-8022-2f489afeafaf · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 7
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-12T16:51:16.669694Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b79ad270-ae30-4b44-9db4-2da35d4c619f · outbound
This paper cites Chen and M.
On Minimal and Minimum Cylindrical Algebraic Decompositions Chen and M
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.673224Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a9ba774-ccab-41ee-9a4b-4b4e926820d0 · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.676772Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation da76b1f8-3c8b-4ff3-bd27-9e2635348d3f · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 10
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-12T16:51:16.680879Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b875009-c3ed-4cf3-8a4d-a6bb7b0c8761 · outbound
This paper cites Huang, M.
On Minimal and Minimum Cylindrical Algebraic Decompositions Huang, M
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T16:51:17.160288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 298a042a-f049-4cb6-aab8-c90bfb305fab · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.696859Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 207e4c16-3234-4c0d-8ea1-353fa022dbb2 · outbound
This paper cites Locatelli.
On Minimal and Minimum Cylindrical Algebraic Decompositions Locatelli
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T16:51:17.137303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b3719328-05ca-4cb4-a62f-62e2cbcc8288 · outbound
This paper cites McCallum.
On Minimal and Minimum Cylindrical Algebraic Decompositions McCallum
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-12T16:51:16.745063Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d79031c3-676c-4a22-873b-f58545e7bc3d · outbound
This paper cites piano movers.
On Minimal and Minimum Cylindrical Algebraic Decompositions piano movers
Reference 15
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-12T16:51:17.125550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a3292ab4-806d-400d-ac4d-83ad10d5a9bb · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T16:51:17.113545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation aa9354fa-c881-4273-b688-77985d8b6988 · outbound
This paper cites an unresolved cited work.
On Minimal and Minimum Cylindrical Algebraic Decompositions Unresolved cited work
Reference 107
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:51:16.692713Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e035a406-69fc-46c8-9551-1ab3ee78cdb5 · outbound
This paper cites In Intelligent Computer Mathematics.
On Minimal and Minimum Cylindrical Algebraic Decompositions In Intelligent Computer Mathematics
Reference 2014
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T16:51:17.148707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Pith citing papers
No inbound Pith citation observations are available.