Paper Citation Record · LEDGER

A new method for reducing algebraic programs to polynomial programs

As of 15 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 2 inbound Pith citation observations for arXiv:2502.08210.

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

pith.paper-citation-record.v1
2502.08210 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T06:10:52.758336Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

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

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T04:21:59.008556Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-07T20:08:01.437077Z

Reference resolution

37 of 37 outbound references displayed

verified exact5
verified fuzzy25
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d5cc47ef-5b42-4aa7-bd1f-f056a91bd861 · outbound

This paper cites Mémoire sur les équations algébriques, ou l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré.

A new method for reducing algebraic programs to polynomial programs Mémoire sur les équations algébriques, ou l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.460414Z

Source-reported events for the cited work

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

Observation c8fd7072-0ad2-4e50-be9d-afd906b7288e · outbound

This paper cites Démonstration de l'impossibilité de la résolution algébrique des équations générales qui passent le quatrième degré.

A new method for reducing algebraic programs to polynomial programs Démonstration de l'impossibilité de la résolution algébrique des équations générales qui passent le quatrième degré

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.450261Z

Source-reported events for the cited work

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

Observation 00ea687e-0157-475e-ad5b-cb09e9522fba · outbound

This paper cites Akritas and Adam W.

A new method for reducing algebraic programs to polynomial programs Akritas and Adam W

Reference 3

Resolution: verified exact; doi, observed 2026-08-08T06:10:53.037855Z

Source-reported events for the cited work

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

Observation eaaf1923-928d-40c9-9fe8-8594c9968a50 · outbound

This paper cites U ber die zerlegung definiter funktionen in quadrate. Abhandlungen aus dem Mathematischen Seminar der Universit \.

A new method for reducing algebraic programs to polynomial programs U ber die zerlegung definiter funktionen in quadrate. Abhandlungen aus dem Mathematischen Seminar der Universit \

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-08T06:10:52.318582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3c66411-b80c-4cdd-adb6-19e434466eb4 · outbound

This paper cites an unresolved cited work.

A new method for reducing algebraic programs to polynomial programs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-08T06:10:53.440520Z

Source-reported events for the cited work

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

Observation 0d8cbf60-7b3f-4864-b396-6fdcb24596be · outbound

This paper cites On the number of cells defined by a family of polynomials on a variety.

A new method for reducing algebraic programs to polynomial programs On the number of cells defined by a family of polynomials on a variety

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.430501Z

Source-reported events for the cited work

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

Observation 77844dcf-b41b-4582-b0dc-320167949a06 · outbound

This paper cites Algorithms in Real Algebraic Geometry.

A new method for reducing algebraic programs to polynomial programs Algorithms in Real Algebraic Geometry

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.419801Z

Source-reported events for the cited work

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

Observation 734491a5-c6aa-46df-8dec-065bfc5580ba · outbound

This paper cites Semidefinite optimization and convex algebraic geometry.

A new method for reducing algebraic programs to polynomial programs Semidefinite optimization and convex algebraic geometry

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-08T06:10:52.396648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ed799a9-ff63-4596-a9be-76f6760056f8 · outbound

This paper cites A tutorial on geometric programming.

A new method for reducing algebraic programs to polynomial programs A tutorial on geometric programming

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.402360Z

Source-reported events for the cited work

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

Observation 74ebb63d-2d5d-43b3-b3a3-e84b18fa607d · outbound

This paper cites an unresolved cited work.

A new method for reducing algebraic programs to polynomial programs Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-08T06:10:53.391109Z

Source-reported events for the cited work

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

Observation 18da9c12-fb35-4e0a-bd03-b35125142a49 · outbound

This paper cites Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report.

A new method for reducing algebraic programs to polynomial programs Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.380633Z

Source-reported events for the cited work

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

Observation dd63c9b3-39de-472c-91c3-be8bf4968090 · outbound

This paper cites Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets.

A new method for reducing algebraic programs to polynomial programs Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.370837Z

Source-reported events for the cited work

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

Observation fb5c297e-eb81-4e9d-adac-3d188e325994 · outbound

This paper cites Z3: An efficient smt solver.

A new method for reducing algebraic programs to polynomial programs Z3: An efficient smt solver

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.361701Z

Source-reported events for the cited work

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

Observation 67eb8ccc-a6b0-482e-b9b5-8882388f9d91 · outbound

This paper cites Ueber die vollen invariantensysteme.

A new method for reducing algebraic programs to polynomial programs Ueber die vollen invariantensysteme

Reference 14

Resolution: verified exact; doi, observed 2026-08-08T06:10:53.015493Z

Source-reported events for the cited work

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

Observation 9536f1e3-5001-4827-b321-88306fe4a8c1 · outbound

This paper cites Global optimization of rational functions: a semidefinite programming approach.

A new method for reducing algebraic programs to polynomial programs Global optimization of rational functions: a semidefinite programming approach

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.353007Z

Source-reported events for the cited work

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

Observation f553813b-3769-499c-a056-5368c1f599c7 · outbound

This paper cites Solving non-linear arithmetic.

A new method for reducing algebraic programs to polynomial programs Solving non-linear arithmetic

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.343028Z

Source-reported events for the cited work

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

Observation 39861e28-ae3a-4fd4-8609-a5059dd865c5 · outbound

This paper cites Algebraic Functions, pages 119--134.

A new method for reducing algebraic programs to polynomial programs Algebraic Functions, pages 119--134

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.333064Z

Source-reported events for the cited work

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

Observation 833812a7-757b-402f-8b3c-eef1be6fd07b · outbound

This paper cites an unresolved cited work.

A new method for reducing algebraic programs to polynomial programs Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-08T06:10:52.917257Z

Source-reported events for the cited work

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

Observation 305b3028-aa6d-4537-bb90-c8752e6df522 · outbound

This paper cites Semidefinite programming for min--max problems and games.

A new method for reducing algebraic programs to polynomial programs Semidefinite programming for min--max problems and games

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.323208Z

Source-reported events for the cited work

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

Observation e7ad6f77-0624-4427-9221-d2e6a5177757 · outbound

This paper cites Global optimization with polynomials and the problem of moments.

A new method for reducing algebraic programs to polynomial programs Global optimization with polynomials and the problem of moments

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.313668Z

Source-reported events for the cited work

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

Observation d05de7ae-dcd7-4cbd-8986-ebc86de2a3f7 · outbound

This paper cites Semidefinite programming relaxations for semialgebraic problems.

A new method for reducing algebraic programs to polynomial programs Semidefinite programming relaxations for semialgebraic problems

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.302917Z

Source-reported events for the cited work

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

Observation b295e045-8b13-468c-aa88-2ec36cf66a02 · outbound

This paper cites Positive polynomials on compact semi-algebraic sets.

A new method for reducing algebraic programs to polynomial programs Positive polynomials on compact semi-algebraic sets

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-08T06:10:52.446846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62f2a6f0-d9f3-4d14-91de-b69e390e6de6 · outbound

This paper cites Riflessioni intorno alla soluzione delle equazioni algebraiche generali opuscolo del cav.

A new method for reducing algebraic programs to polynomial programs Riflessioni intorno alla soluzione delle equazioni algebraiche generali opuscolo del cav

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.293660Z

Source-reported events for the cited work

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

Observation e233411c-1c4a-4c8f-9507-884d6ab51a94 · outbound

This paper cites PICOS : A Python interface to conic optimization solvers.

A new method for reducing algebraic programs to polynomial programs PICOS : A Python interface to conic optimization solvers

Reference 24

Resolution: verified exact; doi, observed 2026-08-08T06:10:52.819381Z

Source-reported events for the cited work

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

Observation 226b5e7c-4521-4bd7-9281-1f384d20f00e · outbound

This paper cites The k-moment problem for compact semi-algebraic sets.

A new method for reducing algebraic programs to polynomial programs The k-moment problem for compact semi-algebraic sets

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-08T06:10:52.457092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 384bee1a-e542-405c-abac-3d67f15164e0 · outbound

This paper cites A nullstellensatz and a positivstellensatz in semialgebraic geometry.

A new method for reducing algebraic programs to polynomial programs A nullstellensatz and a positivstellensatz in semialgebraic geometry

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.285144Z

Source-reported events for the cited work

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

Observation 0934a7a9-56d2-4c3f-8881-80a874dd931f · outbound

This paper cites Strzebo \'n ski.

A new method for reducing algebraic programs to polynomial programs Strzebo \'n ski

Reference 27

Resolution: verified exact; raw_fallback, observed 2026-08-08T06:10:53.177283Z

Source-reported events for the cited work

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

Observation d20dcd66-de52-4729-97a2-c2d0a163824c · outbound

This paper cites Strzebo \'n ski.

A new method for reducing algebraic programs to polynomial programs Strzebo \'n ski

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.276529Z

Source-reported events for the cited work

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

Observation 3633ef60-c5a0-4d01-821d-22922b97c518 · outbound

This paper cites Strzebo \'n ski.

A new method for reducing algebraic programs to polynomial programs Strzebo \'n ski

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.268097Z

Source-reported events for the cited work

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

Observation ca33c05a-0794-4021-84e1-7a58085befae · outbound

This paper cites Surjanovic and D.

A new method for reducing algebraic programs to polynomial programs Surjanovic and D

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.258188Z

Source-reported events for the cited work

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

Observation c51f978a-0f74-4442-8842-87364f9a1aa5 · outbound

This paper cites A decision method for elementary algebra and geometry.

A new method for reducing algebraic programs to polynomial programs A decision method for elementary algebra and geometry

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.248499Z

Source-reported events for the cited work

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

Observation f03484d0-f162-40d9-9624-36e8dd4afbe0 · outbound

This paper cites an unresolved cited work.

A new method for reducing algebraic programs to polynomial programs Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-08T06:10:53.238400Z

Source-reported events for the cited work

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

Observation b3211254-1951-4846-b7cc-a65f81dc0af7 · outbound

This paper cites Geometric optimization and sums of algebraic functions.

A new method for reducing algebraic programs to polynomial programs Geometric optimization and sums of algebraic functions

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.228280Z

Source-reported events for the cited work

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

Observation 17869691-4582-4a05-9b4b-7ec6b2521424 · outbound

This paper cites SumOfSquares.py , 2024.

A new method for reducing algebraic programs to polynomial programs SumOfSquares.py , 2024

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.217943Z

Source-reported events for the cited work

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

Observation 90c0131e-43e4-4c01-bc43-23367bf5dc35 · outbound

This paper cites Geometric programming.

A new method for reducing algebraic programs to polynomial programs Geometric programming

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.208284Z

Source-reported events for the cited work

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

Observation 4ccac808-a48f-4fd0-9338-b9cb290650ec · outbound

This paper cites Effective Polynomial Computation.

A new method for reducing algebraic programs to polynomial programs Effective Polynomial Computation

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.199055Z

Source-reported events for the cited work

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

Observation 24093a25-3c28-4196-bb0d-a59c93a4debd · outbound

This paper cites Zero testing of algebraic functions.

A new method for reducing algebraic programs to polynomial programs Zero testing of algebraic functions

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T06:10:53.189649Z

Source-reported events for the cited work

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

Pith citing papers

Observation f8308ff2-f026-4a78-8136-f744a886e4b9 · inbound

Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination cites this paper.

Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination A new method for reducing algebraic programs to polynomial programs

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-07T20:08:01.443872Z

Source-reported events for the cited work

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

Observation 67cdf057-0760-47dd-ae8b-7dbff96b1f45 · inbound

Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination cites this paper.

Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination A new method for reducing algebraic programs to polynomial programs

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T04:21:59.008556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.