Pith. sign in

Paper Citation Record · LEDGER

A Universality Theorem for Nested Polytopes

As of 15 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 4 inbound Pith citation observations for arXiv:1908.02213.

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

pith.paper-citation-record.v1
1908.02213 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T15:01:29.292778Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

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

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:22:45.285346Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-14T21:27:59.557923Z

Reference resolution

41 of 41 outbound references displayed

  • verified exact1
  • verified fuzzy32
  • unresolved8
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c5ddd915-b735-43f2-9417-5771916e3885 · outbound

This paper cites The Art Gallery Problem is $\exists \mathbb{R}$-complete.

A Universality Theorem for Nested Polytopes The Art Gallery Problem is $\exists \mathbb{R}$-complete

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-14T15:01:29.160329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T15:01:29.160329Z digest=sha256:c729374b4c80c551e6a070afe407b38744c72e45258fd17c4586d53c9b43d077

Observation 0d5bed6f-8347-49f7-bd21-7979cfe8749a · outbound

This paper cites an unresolved cited work.

A Universality Theorem for Nested Polytopes Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-14T15:01:29.767688Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.164604Z digest=sha256:1658f2c601a480ecf0010081f83ac88ada0111cd78f4175e964bfb298b3c3f72

Observation 4473a313-eb8f-4e3f-95a3-96543f33650f · outbound

This paper cites Computing a nonnegative matrix factorization - provably.

A Universality Theorem for Nested Polytopes Computing a nonnegative matrix factorization - provably

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.755679Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.167548Z digest=sha256:475baef42a42e7d859faa1acf579f73ca3457e7b760415a08c75d630bf713090

Observation 8ebab2c8-aca0-45a1-a85c-ccda940d6773 · outbound

This paper cites an unresolved cited work.

A Universality Theorem for Nested Polytopes Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-14T15:01:29.743761Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.170529Z digest=sha256:89348b28cafa5102f2ed413f2aada828a4670061e142de1d79df65f97bb29c87

Observation c47e84d1-2200-4bd6-b613-b5d1b7449bc7 · outbound

This paper cites Some provably hard crossing number problems.

A Universality Theorem for Nested Polytopes Some provably hard crossing number problems

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.732009Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.173457Z digest=sha256:2bd77596dab3ade7217439f0f8e161200c808766f64035f1caa6554f0b33d082

Observation 61f5c8d3-c870-4123-a342-0a74f3f3563d · outbound

This paper cites Existential-R-Complete Decision Problems about Sym- metric Nash Equilibria in Symmetric Multi-Player Games.

A Universality Theorem for Nested Polytopes Existential-R-Complete Decision Problems about Sym- metric Nash Equilibria in Symmetric Multi-Player Games

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.719948Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.177217Z digest=sha256:6359621c383ae3533aa7e4b01410c42a16864b8aff20861065f15139085dcecb

Observation 406aaa3e-13f8-4e97-b85b-f867b7bfc99a · outbound

This paper cites Goodrich.

A Universality Theorem for Nested Polytopes Goodrich

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.708277Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.180873Z digest=sha256:d5ae271da866e8518d0444d32d10f5a3ae3890f5d6048e1734bb6a16b99d4005

Observation 989c1b9f-cd2f-4cd4-b941-3e64e6713790 · outbound

This paper cites Some algebraic and geometric computations in pspace.

A Universality Theorem for Nested Polytopes Some algebraic and geometric computations in pspace

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.697671Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.185248Z digest=sha256:0f7d869de6cc9529034e376958d32f48b7ff5ef8b3b1791a7aeefd5652f3c5de

Observation b37e0d44-66a0-4273-9afe-801505016390 · outbound

This paper cites Computational geometry column 62.

A Universality Theorem for Nested Polytopes Computational geometry column 62

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.686398Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.188411Z digest=sha256:c2f7b01454b358c8ac9de6258ad95e9b458aed883c11de5ef2013a534554dafa

Observation 107bdcdb-3faf-45a0-8b82-099fe60a429e · outbound

This paper cites Intersection graphs of rays and grounded segments.

A Universality Theorem for Nested Polytopes Intersection graphs of rays and grounded segments

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.674830Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.192641Z digest=sha256:e28fb467938ec19b6c84f687532d19cd128f189685b77412d5669efd5c17df30

Observation 6e6f91fe-69ba-4c16-8431-3ecc08e06080 · outbound

This paper cites Recognition and complexity of point visibility graphs.

A Universality Theorem for Nested Polytopes Recognition and complexity of point visibility graphs

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-14T15:01:29.195505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T15:01:29.195505Z digest=sha256:5278f56f4f9f862fb934c8febbedc5a1df5a40396974d429ac4f9399b512009a

Observation c1d6791d-0e3a-4942-9ded-760af715a257 · outbound

This paper cites Nonnegative matrix factorization requires irrationality.

A Universality Theorem for Nested Polytopes Nonnegative matrix factorization requires irrationality

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.655810Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.198685Z digest=sha256:f62df5fc89b8a07af2a40684f146190c564a7227dd55e35d2b5f421d26bb0b39

Observation ad0292f7-a698-47f4-9865-69d4628f0446 · outbound

This paper cites Clarkson.

A Universality Theorem for Nested Polytopes Clarkson

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.644460Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.201809Z digest=sha256:d08163fa83f5bfba4c0b603ad5d034cce424ae0f9e96dfded095814cc4348991

Observation 4929a520-7e60-4e04-bb9b-20f371a713f5 · outbound

This paper cites Cohen and Uriel G.

A Universality Theorem for Nested Polytopes Cohen and Uriel G

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.632521Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.204943Z digest=sha256:64e72a5d69355b142eb3638f4b38038dfc1f0102f97e12cb5cff96deb7874f08

Observation a965f3aa-3abb-44f1-9388-1ede0a2ca948 · outbound

This paper cites Approximation schemes in computational geometry.

A Universality Theorem for Nested Polytopes Approximation schemes in computational geometry

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.620965Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.208106Z digest=sha256:216dac424be9e899045f4436d3c4ce6eb2df7ed3e2afa33e9abb14488549724d

Observation 89681309-b5be-4314-ae7c-b2d7cc295cde · outbound

This paper cites Goodrich.

A Universality Theorem for Nested Polytopes Goodrich

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.609560Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.211924Z digest=sha256:13d5a5f8e98afdfae4282bbc959dc82c3ed5cc4dab4433c0cac18ec547421ced

Observation f943530d-fb17-4232-b031-295e2a3cd3b3 · outbound

This paper cites The complexity of minimum convex nested polyhedra.

A Universality Theorem for Nested Polytopes The complexity of minimum convex nested polyhedra

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.597888Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.214778Z digest=sha256:aa2881000959e9109c9bf2f532373b41b8b498b5282e1be153b0845f650c2b41

Observation 27fbf7e8-73a9-4687-b6f7-662804a385ed · outbound

This paper cites Minimum vertex hulls for polyhedral domains.

A Universality Theorem for Nested Polytopes Minimum vertex hulls for polyhedral domains

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.587159Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.217365Z digest=sha256:1bab46fbef9ca2390e8a1ae16bdf4f6fbc74f761192c787dc0c1666d97d2b52d

Observation f146547d-bf2d-4476-a44d-dd6f8382a994 · outbound

This paper cites Smoothed Analysis of the Art Gallery Problem.

A Universality Theorem for Nested Polytopes Smoothed Analysis of the Art Gallery Problem

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-14T15:01:29.220017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T15:01:29.220017Z digest=sha256:cb9cf9363c8bbb2959df0e055860f2874bdc72fb9f6779d1d1a960bcd527a0cf

Observation e7c5e648-1abf-4a50-9ed1-4b59c587a3b0 · outbound

This paper cites ∀∃R- completeness and area-universality.

A Universality Theorem for Nested Polytopes ∀∃R- completeness and area-universality

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.576067Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.222988Z digest=sha256:b0ddd54e711cd1fa60beb37d5f1f55bbdddd4fc93a84354f307e549a1828c315

Observation c1e44b99-19d0-4438-82b0-20a05039b841 · outbound

This paper cites Linear vs.

A Universality Theorem for Nested Polytopes Linear vs

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.564397Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.225520Z digest=sha256:6301df558d308a042442010d22926ddfa10ed1edb848bd76296d7f03a13b018e

Observation 8239f275-c249-413b-82b0-edf4e796ed4b · outbound

This paper cites On the geometric interpretation of the nonnegative rank.

A Universality Theorem for Nested Polytopes On the geometric interpretation of the nonnegative rank

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.551897Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.228586Z digest=sha256:bff254668bb9450691ddb746f8207369b5f574208557becba5ba1f35b3bd0aae

Observation f911815d-f1e7-42b7-9564-03ada8726830 · outbound

This paper cites Intersection graphs of segments.Journal of Combinatorial Theory, Series B , 62(2):289–315, 1994.

A Universality Theorem for Nested Polytopes Intersection graphs of segments.Journal of Combinatorial Theory, Series B , 62(2):289–315, 1994

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.540789Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.231743Z digest=sha256:87ac8deed6fd98142cdb6b51a1a2e73fc44c9614b64349392d852b2337aeef5b

Observation 74bee1c2-5c8f-44eb-8808-f2c4c30977cf · outbound

This paper cites The complexity of drawing a graph in a polygonal region.

A Universality Theorem for Nested Polytopes The complexity of drawing a graph in a polygonal region

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.529024Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.234863Z digest=sha256:25b509dc499d0245165fd67298811dab88efed6f7f7f4d4a88436c362f0b23f8

Observation 60e5b0c5-6ef8-4c64-bfc6-608e9bb846cc · outbound

This paper cites Intersection graphs of segments and $\exists\mathbb{R}$.

A Universality Theorem for Nested Polytopes Intersection graphs of segments and $\exists\mathbb{R}$

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-14T15:01:29.238088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T15:01:29.238088Z digest=sha256:1992c37038acc462bfcffd7cd96b9c3d874c519e064701b9b5f8ad5c2fd40bb4

Observation f6b24fcf-a080-478e-a20c-b0d638df9cdd · outbound

This paper cites Integer realizations of disk and segment graphs.Journal of Combinatorial Theory, Series B , 103(1):114–143, 2013.

A Universality Theorem for Nested Polytopes Integer realizations of disk and segment graphs.Journal of Combinatorial Theory, Series B , 103(1):114–143, 2013

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.519160Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.241397Z digest=sha256:529e2b2d8526644307fe1889511b30c664f25c2e091ee322bced29f81b5f5e89

Observation ce33f679-f10d-45cd-bad9-fd4c74304d8b · outbound

This paper cites an unresolved cited work.

A Universality Theorem for Nested Polytopes Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-14T15:01:29.508795Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.244339Z digest=sha256:2d42ade9eda000621c6e6ff7e3cd4777578cf10a4f407ccb182dc6416018eef6

Observation 13b163cb-bd66-4a1a-be38-7d5386571971 · outbound

This paper cites An almost optimal algorithm for computing nonnegative rank.

A Universality Theorem for Nested Polytopes An almost optimal algorithm for computing nonnegative rank

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.497625Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.247373Z digest=sha256:77003663fec0d90901eee8c9951bc17c1b02982d043ce8f416e42a4f36e6273c

Observation a3724e1f-9d7f-4d31-88ab-8b7f2622949b · outbound

This paper cites An almost optimal algorithm for computing nonnegative rank.

A Universality Theorem for Nested Polytopes An almost optimal algorithm for computing nonnegative rank

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.487206Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.250760Z digest=sha256:3eaf51f2e614fc33347da2dc647d06a27845d4ccb8caf17d7e1011a6ef6bdcdf

Observation e10c8058-b6b8-4789-b841-032d21f7d44c · outbound

This paper cites The computational geometry column# 4.

A Universality Theorem for Nested Polytopes The computational geometry column# 4

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.477052Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.254033Z digest=sha256:3e8f18108c0b97acfa5e1fcacb5ddce7642b8a7da2fe1e337e035ba9bf012feb

Observation cb8c4af3-6789-4f10-8460-be03b02721c9 · outbound

This paper cites Realization spaces of 4-polytopes are universal.

A Universality Theorem for Nested Polytopes Realization spaces of 4-polytopes are universal

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.466511Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.257218Z digest=sha256:45ccb58764878985db3e6cf373f70029116140f97a851cf66eefeb18784249e2

Observation 5cc05d19-13c5-4a92-a642-a740c7446abe · outbound

This paper cites Complexity of some geometric and topological problems.

A Universality Theorem for Nested Polytopes Complexity of some geometric and topological problems

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.456558Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.261410Z digest=sha256:d8b43a3f12596a2526266e3f59a085d6d86c96802cf8d462323f00e943ca68d0

Observation 13eca175-cdc3-4421-9ca3-397795940be7 · outbound

This paper cites Fixed points, Nash equilibria, and the existential theory of the reals.

A Universality Theorem for Nested Polytopes Fixed points, Nash equilibria, and the existential theory of the reals

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.446182Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.265612Z digest=sha256:869a00096190816f364c79e12a2544ce979be36f427b95e533a3f1553ceecd7f

Observation 22aceb4f-e27e-464d-8930-b6c537def5fc · outbound

This paper cites A universality theorem for nonnegative matrix factorizations.

A Universality Theorem for Nested Polytopes A universality theorem for nonnegative matrix factorizations

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.435619Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.268940Z digest=sha256:53b99bc851229d785e72680c2e0c0a6dfbd400fe1e2404f53c49b93a100bda9b

Observation 36af3b56-9546-4242-89bc-6e0534f165bf · outbound

This paper cites The nonnegative rank of a matrix: Hard problems, easy solutions.

A Universality Theorem for Nested Polytopes The nonnegative rank of a matrix: Hard problems, easy solutions

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.423559Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.271998Z digest=sha256:073abde226a83009844c836807bf97db14387994cade17a0c85a06a557246eda

Observation 02070e67-85e4-4e01-bcdd-00af1eded47f · outbound

This paper cites Stretchability of pseudolines is np-hard.

A Universality Theorem for Nested Polytopes Stretchability of pseudolines is np-hard

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.411323Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.274674Z digest=sha256:ac4565e471b72900f37fa16d4cc8ff060d7bc26d09d0b1770bcad127aa46e0dc

Observation 955a5ffa-e79f-4804-9f39-6a4b74ad3713 · outbound

This paper cites Silio Jr.

A Universality Theorem for Nested Polytopes Silio Jr

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.399946Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.278348Z digest=sha256:9faabb2c18534b384970f6b7e591e19dd66b1c793f47854c4ef86fdbb6661bcc

Observation fd4a1409-e0af-4c19-83b2-80fd79efe8b5 · outbound

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

A Universality Theorem for Nested Polytopes A decision method for elementary algebra and geometry

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.388461Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.281628Z digest=sha256:cac23783526369e6fc23900825d466aae9d3b1f454932cda5b47634a57a7e280

Observation 5795c628-f97a-461c-8236-b697ece1f929 · outbound

This paper cites Smoothed Analysis of Order Types.

A Universality Theorem for Nested Polytopes Smoothed Analysis of Order Types

Reference 39

Resolution
verified exact
local_arxiv, observed 2026-08-14T15:01:29.325874Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.285003Z digest=sha256:87c68eb268c55c355b0b25878472dbe44bb01cdbe2895b72d07e09fbdb66a57b

Observation f4142378-5def-42b4-8452-3d839a1ae4e8 · outbound

This paper cites an unresolved cited work.

A Universality Theorem for Nested Polytopes Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-14T15:01:29.376777Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.289085Z digest=sha256:bb8999ffad765808c164e14122c9d0a5dd6391ee8fc778a3d382cdb3b5d1cb69

Observation 58ca2abe-a81a-4614-8ac1-c3d53ea41f7d · outbound

This paper cites Expressing combinatorial optimization problems by linear programs.

A Universality Theorem for Nested Polytopes Expressing combinatorial optimization problems by linear programs

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T15:01:29.365158Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-14T15:01:29.292778Z digest=sha256:97b6c53248ad5fcd2f5d92bb7cffbbb31c952e0da25a807c8619ebe5397ef04b

Pith citing papers

Observation e410654d-a835-41b9-9887-018ca81e4ab6 · inbound

Optimal Curve Straightening is $\exists\mathbb{R}$-Complete cites this paper.

Optimal Curve Straightening is $\exists\mathbb{R}$-Complete A Universality Theorem for Nested Polytopes

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-14T11:22:45.285346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T11:22:45.285346Z digest=sha256:a5b21c9a02ca42b309bdc8b7dc28296795c11cada7cb4e468131775f8255396a

Observation ff19ebb7-c56e-4a2f-8745-b7dea3bf9b2f · inbound

Complexity of Contextuality cites this paper.

Complexity of Contextuality A Universality Theorem for Nested Polytopes

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-07T05:11:57.179064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T05:11:57.179064Z digest=sha256:01dd576d0a3767f7296d92d541bbea83355d460cd26ce11865dbad5b1551ce97

Observation 74564297-a5a7-469b-bf5e-e884ed3481b8 · inbound

The Nesting Bird Box Problem is ER-complete: Sharp Hardness Results for the Hidden Set Problem cites this paper.

The Nesting Bird Box Problem is ER-complete: Sharp Hardness Results for the Hidden Set Problem A Universality Theorem for Nested Polytopes

Reference 11

Resolution
verified exact
arxiv_id, observed 2026-05-12T09:11:27.246801Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-05-07T12:34:00.352568Z digest=sha256:8d99aebd404aa41ddd099ae44466c390b1fcac0db90d66265d9765f5b2ad6acf

Observation 54113509-ac04-436f-af95-99f835f827cf · inbound

The Nesting Bird Box Problem is ER-complete: Sharp Hardness Results for the Hidden Set Problem cites this paper.

The Nesting Bird Box Problem is ER-complete: Sharp Hardness Results for the Hidden Set Problem A Universality Theorem for Nested Polytopes

Reference 11

Resolution
verified exact
arxiv_id, observed 2026-05-14T21:27:59.560364Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-05-14T21:27:43.209675Z digest=sha256:99595c63cf2c121d5ecfdde4ba02739f6ea6b209911f540f2bd9c3e875d19c89