{"as_of":"2026-08-13T16:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:36fcd6a78732a0e27e728cf53ffb1f28a594de7eaea547e5ad46b138f3b83768","coverage":[{"denominator":74,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":74,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T11:24:45.970266Z","state":"measured"},{"denominator":75,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":75,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T15:48:34.262233Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-10T15:48:35.510076Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"cited_work":{"arxiv_id":"2411.18361","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.18361","snapshot_observed_at":"2026-08-10T15:48:35.510076Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","venue":"math.NA","work_id":"a8cd795e-cfd2-45aa-bc30-12ad3e3b7cdb","year":2024},"citing_paper":{"arxiv_id":"2501.13672","last_updated":"2026-06-30T12:51:42Z","snapshot_observed_at":"2026-08-10T16:51:44.243222Z","submitted_at":"2025-01-23T13:56:53Z","title":"Numerical Analysis of differential equations on weighted Sobolev spaces: beyond classical orthogonal polynomials","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T15:48:34.262233Z"},"links":{"cited_paper":"/paper/2411.18361","citing_paper":"/paper/2501.13672"},"observation_digest":"sha256:69ce644bac43fd44a1cea0b71615f8e38726828fb507096b8617ba926ecb5693","observation_id":"f2664ba4-0dbd-4f0b-a544-3ee922e0a008","resolution":{"observed_at":"2026-08-10T15:48:35.519105Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.18361/citation-record","integrity":"/paper/2411.18361/integrity","json":"/paper/2411.18361/citation-record.json","paper":"/paper/2411.18361"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.331018Z","title":"Uniqueness and bifurcation branches for planar steady N avier- S tokes equations under N avier boundary conditions","venue":null,"work_id":"32aea80f-623a-4f77-9d88-c2a13f854e1b","year":2021},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.587654Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:e66eb8f6b573f5b3d39eadec3ac5c54bd7822504ad86e2e771c516b08d05fe43","observation_id":"40bdb3d0-9cc1-4e87-962c-7b63385c718b","resolution":{"observed_at":"2026-08-12T11:24:47.335351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.315197Z","title":"Integration of dissipative partial differential equations: a case study","venue":null,"work_id":"a155789b-5954-4427-a9df-0dcb7a9d680b","year":2010},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.594849Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:afa9608b598212623c237c9ef31ab59e3a00c230824d9b7ffc5e16274dadbfb9","observation_id":"25662f9e-669d-4071-b4bd-4a0aff09b097","resolution":{"observed_at":"2026-08-12T11:24:47.321018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.296607Z","title":"Non-radial solutions for some semilinear elliptic equations on the disk","venue":null,"work_id":"8f2e1e71-bded-40d5-b04d-f93c3ba973d1","year":2019},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.599761Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:b9529de5c46a8ca327ef4f00ea8b58843104b8ac02589dcc9fa8a75e3c6c36b7","observation_id":"6788ca2a-c1de-4b1a-a041-4dec5a65f1f7","resolution":{"observed_at":"2026-08-12T11:24:47.303736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.280989Z","title":"Periodic and quasiperiodic waves on the sphere","venue":null,"work_id":"51a11561-a7a0-4bf4-ae24-b370fa148821","year":2024},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.603986Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:9a683991a2d2cbbab25b985f1386ae802ba780d0864e68982d8a6ca48aa6984f","observation_id":"95e16f35-fcf4-4b10-beaa-ff81ee6a239d","resolution":{"observed_at":"2026-08-12T11:24:47.285210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.266416Z","title":"Rounding error bounds for the C lenshaw and F orsythe algorithms for the evaluation of orthogonal polynomial series","venue":null,"work_id":"c54815db-3979-4448-8752-34267bfb3ac5","year":2002},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.607939Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:ab9a440be9b42a6a5b75640554a55dc39a640c02bcb116240e05e422f788c454","observation_id":"b95663aa-0663-4289-947e-6ef123484d3e","resolution":{"observed_at":"2026-08-12T11:24:47.272714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.245094Z","title":"Constructive proofs for some semilinear PDE s on H ^2(e^ |x|²/4 , R ^d)","venue":null,"work_id":"7c49f488-30ec-4fa8-877a-d8d3df4e1476","year":2024},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.612850Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:6bb2aed6c2fcf29d1027045848ef2fe93fe7720798d1fe942b830b351599db39","observation_id":"e3a2e78c-31c5-47f0-8198-78ed579b58c6","resolution":{"observed_at":"2026-08-12T11:24:47.250000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.09445","last_updated":"2025-04-21T02:45:43Z","snapshot_observed_at":"2026-08-13T14:42:36.604512Z","submitted_at":"2022-08-19T16:56:36Z","title":"Smooth imploding solutions for 3D compressible fluids","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.09445","snapshot_observed_at":"2026-08-12T11:24:45.617659Z","title":"Smooth imploding solutions for 3D compressible fluids","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.617659Z"},"links":{"cited_paper":"/paper/2208.09445","citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:f2e81358d7dd8d039dfd3619bde0ea91b7ca59c7838aa99fa8ae4508eb0ae1ae","observation_id":"77e6dffb-47c5-4c1d-98ee-9f888ccc5213","resolution":{"observed_at":"2026-08-12T11:24:45.617659Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.232179Z","title":"Julia: A fresh approach to numerical computing","venue":null,"work_id":"635a553e-a7f7-47c0-a63c-f78ac0a403dd","year":2017},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.622888Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:8093c4ca8add253b178230bb2d7837d7326ff816110e9969fb32feb0a6bfdd1d","observation_id":"f1e2d9be-e1a0-4d59-83d4-ad05f7a74b9c","resolution":{"observed_at":"2026-08-12T11:24:47.236448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.214164Z","title":"Angular momentum in quantum physics: theory and application","venue":null,"work_id":"6405c1fa-05e7-4ce0-a868-0fcdc027a48d","year":1984},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.627161Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:698a534461057c3666f60347842ac1ed4f8ce2f2e153271a611c445364e2111a","observation_id":"9d55d77b-56e8-4651-b9b0-8015da80ee5a","resolution":{"observed_at":"2026-08-12T11:24:47.220497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.187688Z","title":"Iteration-free computation of gauss--legendre quadrature nodes and weights","venue":null,"work_id":"1c3880d6-6eed-42eb-b87d-2d03797bd987","year":2014},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.631904Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:45f26a9883ec10d351c9d4bcfee09e4fecd2bf3758c96a4c12ff256da61f3a20","observation_id":"28c7f7a1-ea1e-4c04-a34f-f3854731463f","resolution":{"observed_at":"2026-08-12T11:24:47.194721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.172542Z","title":"C hebyshev and F ourier spectral methods","venue":null,"work_id":"d0d3b27c-0e70-42a3-bccd-4f2052fedde0","year":2001},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.635765Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:71322e84ec7c0e5d9b5bc89ab0c8b87dd36310e98a8bd8b632fbbdf8c44a0ce8","observation_id":"e6b9bec4-3677-47da-aa79-3bb4707f02fa","resolution":{"observed_at":"2026-08-12T11:24:47.178543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.143146Z","title":"Dedalus: A flexible framework for numerical simulations with spectral methods","venue":null,"work_id":"52904abe-dc02-4af3-b095-9d5e923f6bd0","year":2020},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.639667Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:f69cfe475c3493982c7da883543d17920d0c0fb9bb0da688c273bcb555847e65","observation_id":"068f1d09-1fc8-4106-9ae3-62796ae9e819","resolution":{"observed_at":"2026-08-12T11:24:47.150201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.126232Z","title":"Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light","venue":null,"work_id":"fa89b472-ef54-4bd9-adb1-17cec1eb93b5","year":1999},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.643810Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:a85cafad65d2324644716072557388ae0ee2b449235888a8faba72c21f4032bc","observation_id":"2b3397b5-74e4-44ef-8f7f-8e84af1131ab","resolution":{"observed_at":"2026-08-12T11:24:47.130722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.106563Z","title":null,"venue":null,"work_id":"c16842bb-89e7-4ff9-b6e7-63c806daa3c9","year":2011},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.647631Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:94b41a10c0cb5572f0b57fe4ccdee635e8c8aeb1d9450de20a339fd3efed8b10","observation_id":"dec28361-ce4c-498d-82bb-a4470fb72d7a","resolution":{"observed_at":"2026-08-12T11:24:47.116069Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.087124Z","title":"Zernile P olynomials.jl","venue":null,"work_id":"b2cdc6bb-26ca-4b36-9f4a-ad0bc7a34b99","year":2024},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.652602Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:f1286293067242ffd231c9eb5ed21e2d79dccd813270799b86d30afee8e58b4f","observation_id":"35602ed0-4150-48a7-bf4f-ac752c20d6d4","resolution":{"observed_at":"2026-08-12T11:24:47.092853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.07191","last_updated":"2023-05-09T17:50:13Z","snapshot_observed_at":"2026-08-13T14:05:47.435636Z","submitted_at":"2022-10-13T17:13:08Z","title":"Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.07191","snapshot_observed_at":"2026-08-12T11:24:45.656803Z","title":"Stable nearly self-similar blowup of the 2D B oussinesq and 3D E uler equations with smooth data","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.656803Z"},"links":{"cited_paper":"/paper/2210.07191","citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:e624d9c0e6711f882d07ca30ef562f5a9ef53d10a63cd379d926602ab54f70de","observation_id":"d78e4f70-80fc-41e1-9029-ed2f2a72cf94","resolution":{"observed_at":"2026-08-12T11:24:45.656803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.064790Z","title":"Computer-assisted proof of heteroclinic connections in the one-dimensional O hta- K awasaki M odel","venue":null,"work_id":"58833b3b-041e-4b47-aa8e-7fbdf6a1dc6f","year":2018},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.661694Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:5a8646ced9dc2b19d99ef56dbea6b7afe1db8a04c832cfa002db4b881e7cfbf1","observation_id":"beb2a82b-7eb7-4c75-8ead-b390b39c7208","resolution":{"observed_at":"2026-08-12T11:24:47.069235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.047201Z","title":"Determining the source of period-doubling instabilities in spiral waves","venue":null,"work_id":"d9feb9aa-58e1-4655-a673-5add34fe16bf","year":2019},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.665807Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:a8c188b97b14196c4e79f9da914b25ce8b788a165fe274082fed9202322a061c","observation_id":"16dd245f-372e-477a-b74f-b856169a02f6","resolution":{"observed_at":"2026-08-12T11:24:47.051527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.030649Z","title":"A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations","venue":null,"work_id":"9d7ec20a-4a6c-452a-b53b-c3d250e2f422","year":2017},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.672522Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:84e9fee4ac5aa989f77d359b2935f0f64f9d2c276feda6921f3125241faf864a","observation_id":"9561615f-b803-42c9-90ce-09a066bff91f","resolution":{"observed_at":"2026-08-12T11:24:47.036985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:47.012565Z","title":"Forsythe","venue":null,"work_id":"c7b2e06d-b5f2-4c04-9608-7041bc438fbc","year":1957},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.676554Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:bb2d4c5aad9b8486a62f386b1b2641c8481a3ef85933c579c10cfb047bf62ace","observation_id":"2f91d3c7-d47f-4378-a7b7-fe3770907e27","resolution":{"observed_at":"2026-08-12T11:24:47.018502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.991865Z","title":"Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDE s","venue":null,"work_id":"b59ee08c-14d6-4068-98e5-bdbd2fdd32af","year":2010},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.682428Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:50ce9d4f507cb45981bb20e90876f2a21bdb55a82e492001f0748452b701312c","observation_id":"4bc83c68-4142-4516-bb94-6d2a2298cae1","resolution":{"observed_at":"2026-08-12T11:24:47.001681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.976552Z","title":null,"venue":null,"work_id":"44897f7d-a346-4605-baba-555d24780cf7","year":2000},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.687388Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:fdb1d15723006992a3b8d797bf40607b0e3ba9f54178d78bd60fecf94a697c98","observation_id":"814b7e6f-0dba-4949-b487-0af02d8af5d8","resolution":{"observed_at":"2026-08-12T11:24:46.981653Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.960856Z","title":"Computer-assisted proofs in PDE : a survey","venue":null,"work_id":"86b2275e-f0f3-49a9-9b20-31d00451d375","year":2019},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.691455Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:81ba4d055bf2f62483d65d996f42b8ad2c3da33404b3e7617ed701885b83a100","observation_id":"e8e9f0ec-2eda-4b13-8c66-bdfadd3043eb","resolution":{"observed_at":"2026-08-12T11:24:46.966748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.947952Z","title":"Golub and John H","venue":null,"work_id":"3c42dc1b-604c-4965-bb06-1e2299d53ee9","year":1969},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.697094Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:18a9d7573f0e7916a0373ee83fa0e2c546d69ca245c8ac8748cf992eb332aa7d","observation_id":"fcd21ed7-0c71-413f-b009-471050e49b91","resolution":{"observed_at":"2026-08-12T11:24:46.952032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.925703Z","title":"Potential singularity formation of incompressible axisymmetric euler equations with degenerate viscosity coefficients","venue":null,"work_id":"daa8b2e0-0f8a-4fbe-b4a1-f4cde29cb9bf","year":2023},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.701576Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:763dcc8dc6a224cb7fbfb8803eddb4b21b83d10e0078120950e05efc3343752f","observation_id":"65845f38-e551-42ff-aede-0fe77ff295a2","resolution":{"observed_at":"2026-08-12T11:24:46.930156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.910574Z","title":"Dynamic stability of the three-dimensional axisymmetric N avier- S tokes equations with swirl","venue":null,"work_id":"eb5cd899-a47e-4414-b62f-c1f5ff699a85","year":2008},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.705998Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:55ce238256c7e84396c9f26986ef0c0bb673e23d4eca7d82c562f2b034782516","observation_id":"307ee970-b30b-436a-a62c-d9b93526154b","resolution":{"observed_at":"2026-08-12T11:24:46.915430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.891817Z","title":null,"venue":null,"work_id":"10f0a192-f849-451e-9944-b8e155bb0b6a","year":2023},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.710137Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:5c75c7149f5de0f7297df87c16fc2d38045a82f392d8d8bc89f2d6c10ec31676","observation_id":"32af18b4-905f-46b1-854d-408e76863586","resolution":{"observed_at":"2026-08-12T11:24:46.898411Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.872419Z","title":"Fast and accurate computation of G auss-- L egendre and G auss-- J acobi quadrature nodes and weights","venue":null,"work_id":"87ca2db5-edc1-41c3-85d4-7d112844e316","year":2013},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.717924Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:61e34f52de598872d863a8867e0e47385ca0ec5a95f7d6e1f0b6d0f99ce3a44c","observation_id":"ab08a676-f4e4-486c-bb39-2eb2251ffee4","resolution":{"observed_at":"2026-08-12T11:24:46.878112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.858536Z","title":"Zernike expansion of derivatives and L aplacians of the Z ernike circle polynomials","venue":null,"work_id":"95465bf9-6e7f-4221-ac77-135f7b14ee1a","year":2014},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.722266Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:102736f70e950cf29c53fb8b65eafe1dbaf618b41ca242c6c295e60f4c37f7a6","observation_id":"d85033a9-ed12-49bd-8894-0f1dff2b4bda","resolution":{"observed_at":"2026-08-12T11:24:46.863620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.835814Z","title":"A proof of J ones' conjecture","venue":null,"work_id":"71724711-8dbf-49fe-96ad-f4a6215d69ed","year":2019},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.726887Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:9678db2020b4ddd2fe0df828d573c0faa973061f671dc9ebd7c0a6bfdc26563f","observation_id":"cc37638b-f838-4d4e-9f54-2969eb909951","resolution":{"observed_at":"2026-08-12T11:24:46.843533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.818906Z","title":"Banach algebra related to disk polynomials","venue":null,"work_id":"b3eb2a9a-0a8f-48ad-9169-d2d8723fefae","year":1985},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.731066Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:6d67bce782b6c81240910fb491c7a322c7b6b57a2b8b59c46d54ec179f842d20","observation_id":"eadac064-6503-477f-a78c-65417e8780c4","resolution":{"observed_at":"2026-08-12T11:24:46.823881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.803264Z","title":"Spiral breakup in model equations of action potential propagation in cardiac tissue","venue":null,"work_id":"9cbc2d66-a97b-42b4-bcbb-fcb7ec7b0422","year":1993},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.735083Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:ca3204f5072b99cd8714965f2c4959c35edf674b6661758946aca34288cb859d","observation_id":"584d7e03-ea5e-412f-aa00-bfc2f902cd45","resolution":{"observed_at":"2026-08-12T11:24:46.808450Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.785883Z","title":"Electrical alternans and spiral wave breakup in cardiac tissue","venue":null,"work_id":"7562e204-c86a-471f-a130-5b4ae6df8183","year":1994},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.739713Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:f31c90e422188ff7c722bc7c39db19b28f08aee5819ffb5c8006f2e27010ade9","observation_id":"721aaf63-db2a-4893-9b30-8bbf6a8060b5","resolution":{"observed_at":"2026-08-12T11:24:46.790667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.761620Z","title":"Nakao, Yoshitaka Watanabe, and Takaaki Nishida","venue":null,"work_id":"3328256f-f0ac-4d1b-af12-aa06a21c3c45","year":2009},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.744432Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:4332787766e9a241baf4bb755d9a0c9ea438099e1d237df2238ec7701a7764c2","observation_id":"8cecf019-bd13-4810-8721-b3862913912a","resolution":{"observed_at":"2026-08-12T11:24:46.766072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.740262Z","title":"Positivity proofs for linearization and connection coefficients of orthogonal polynomials satisfying an addition formula","venue":null,"work_id":"a13ab93c-ac4e-4de4-b62c-6036e370b625","year":1978},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.750272Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:7dc5d1874e2a998e9cb4bf3b1f9563be4b44600335cfe99ee17c83a80324dc1e","observation_id":"0e8abc63-4bdb-43d2-8def-0dd2ed732772","resolution":{"observed_at":"2026-08-12T11:24:46.745296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.723824Z","title":"Computer-assisted proofs in analysis and programming in logic: a case study","venue":null,"work_id":"c0442e1b-0d0b-41a7-a5ff-9e2d4b2a86a0","year":1996},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.757944Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:a74346ab25cced62aa2c896b129103cd9e831f342b67783830c74b9dcbd2ec2d","observation_id":"bf12875a-91e6-414a-af4c-fda416cc0613","resolution":{"observed_at":"2026-08-12T11:24:46.728826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.706060Z","title":"Lanford, III","venue":null,"work_id":"0074cb2e-4f7b-494e-a39d-d4b7d3c99216","year":1982},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.762142Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:968fd534feaf01c309c8ad3380a40f25a54a58744a3680fd1ceff4417286386c","observation_id":"45c3ed4c-e81f-4f97-b5ba-d9afd232894a","resolution":{"observed_at":"2026-08-12T11:24:46.710972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.681903Z","title":"Nakao, and Shin'ichi Oishi","venue":null,"work_id":"116b805e-9d07-4cb9-92fb-872d7a897b42","year":2022},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.769449Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:6d7fd362e4bf01cfd7d977021998a40af9ec1d20467e08c711704726f35cc6ce","observation_id":"54016daf-e1a0-4239-bfe6-efe023b37f7e","resolution":{"observed_at":"2026-08-12T11:24:46.687029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.661376Z","title":"Verified eigenvalue evaluation for the L aplacian over polygonal domains of arbitrary shape","venue":null,"work_id":"8cc20242-b3a9-4d58-a3d6-aaa3f2ee9a17","year":2013},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.775582Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:2e0090d280930d0256e97a0bf2d975b75e6a020c0d16f604ca7331a001f3eeeb","observation_id":"b357ba88-53e6-451b-9b8a-ffee93f56895","resolution":{"observed_at":"2026-08-12T11:24:46.666419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.648024Z","title":"On the bifurcation structure of axisymmetric vortex breakdown in a constricted pipe","venue":null,"work_id":"72199034-abed-4fbc-ae40-0e8cee7e1bd6","year":1994},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.781226Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:172dca915d29998ad336fb37602ac1be2be01dea6b4b6f4af70bf5db80f5e0f3","observation_id":"dac3179c-5b27-439c-bd6e-4f4f9416b09f","resolution":{"observed_at":"2026-08-12T11:24:46.652099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.629322Z","title":"An efficient spectral-projection method for the N avier-- S tokes equations in cylindrical geometries: I","venue":null,"work_id":"8a9476ce-bf17-4ab0-8596-4cbe1f298311","year":1998},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.785615Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:c9327c980ee12bced50507ec933174a026a199d15ca75f5fbf04eb01efef7dea","observation_id":"6bae777d-2163-4f9c-9e2e-ddc55a19d92c","resolution":{"observed_at":"2026-08-12T11:24:46.633696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.608935Z","title":"Vorticity and incompressible flow","venue":null,"work_id":"c3f05923-50ff-4083-9c1f-ab7332027a3a","year":2002},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.790211Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:a0aa880401aee864e51bed01d690a818a40d21ef7c46fffb4bd85e7593429776","observation_id":"7ae6c0ea-945f-4e10-80ec-273ae5ec6cda","resolution":{"observed_at":"2026-08-12T11:24:46.614911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.591740Z","title":"A spectral method for polar coordinates","venue":null,"work_id":"ef55e186-fade-47a4-8d26-eb65acee8608","year":1995},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.795812Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:94fb32e34db4d9250f0dcafe1fc06067c74b12658c910c7a97eefede8a002eab","observation_id":"67e41591-d001-4a38-bed9-8c937226e6cf","resolution":{"observed_at":"2026-08-12T11:24:46.598156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.574136Z","title":"Chaos in the L orenz equations: a computer-assisted proof","venue":null,"work_id":"cb284e8b-07c8-4a4f-a064-857482d98131","year":1995},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.801439Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:06cdc6bd0c0ff16c42735b39a0e924f1824a27f8f0de02fdaae5114e123bdccb","observation_id":"d1248a14-7797-4e53-8baa-ac506130b8f2","resolution":{"observed_at":"2026-08-12T11:24:46.581533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.556246Z","title":null,"venue":null,"work_id":"c66e771f-eecc-4292-89c7-ed05e5375b9e","year":1966},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.807086Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:b5e2bbf3cae2ed1520fde29ef72c19cabf1f57a6d6077ea25e9b5281dcb0cbc9","observation_id":"f72f83dd-c255-4e4e-8784-58e2cad26797","resolution":{"observed_at":"2026-08-12T11:24:46.561231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.540243Z","title":null,"venue":null,"work_id":"3e4f3711-7967-4813-b7f9-44fb2e7291c2","year":2001},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.812599Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:4f4f434533184857cf4a0e315c1a66987c527f7e73fa97ae001e408faaf063e6","observation_id":"e7be3ed6-8717-4ae2-90de-6c5c61204645","resolution":{"observed_at":"2026-08-12T11:24:46.545516Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.520727Z","title":null,"venue":null,"work_id":"42b2f43c-767b-4106-b7ec-d1a05328efa0","year":2005},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.818280Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:97a777ecedbac2d65dbc8fb685de345baa2506f8f85bd9a55d78048239c8b930","observation_id":"fe6e610f-4ee0-46a2-ba46-237934695a0a","resolution":{"observed_at":"2026-08-12T11:24:46.525835Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.500265Z","title":null,"venue":null,"work_id":"deb88638-da73-45dc-a716-3bff8592e0c2","year":1976},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.826148Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:022ce91409875033074125c858fe5422a9f1f9584550ce0ea1d01828d0193be0","observation_id":"b08eb40d-8cd2-4458-a7c5-02e873ebb94f","resolution":{"observed_at":"2026-08-12T11:24:46.505464Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.468956Z","title":"Nakao, Michael Plum, and Yoshitaka Watanabe","venue":null,"work_id":"7375d9c3-2c2c-4c80-a81b-5a04eac59ddc","year":2019},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.831444Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:4b39691d7662321df3fcdff338dac7954d6996ce8acebc7955ea3e505f557a41","observation_id":"3231068c-9955-4cc0-9338-5106d9a44071","resolution":{"observed_at":"2026-08-12T11:24:46.482225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.451301Z","title":"The NIST Handbook of Mathematical Functions","venue":null,"work_id":"caf01475-4827-4c94-b578-7ae81e4b9b78","year":2010},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.835658Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:16f3aedbbd1ba280a5e6c365b6df052ada7565ca90f166d1d3f0e0e3262fcc83","observation_id":"d91d49f5-0361-4eba-9618-4ddf079f6f4d","resolution":{"observed_at":"2026-08-12T11:24:46.457047Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.437062Z","title":null,"venue":null,"work_id":"786349b9-fb2f-4123-8695-dd29e69fdddb","year":2010},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.840427Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:d1dfd96e79dc52106ac9461a34f6bc682a88d5df1936bf8805270cf054e0f5bf","observation_id":"91f5e0e4-095c-45f2-9c49-527e1986ff8e","resolution":{"observed_at":"2026-08-12T11:24:46.442375Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.419140Z","title":"Sanders and Luis Benet","venue":null,"work_id":"b68d39f1-25b3-4d29-ae16-c30b2bbc8aef","year":2014},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.846043Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:59a7ac173adf41a63fe9d7e7126b97bb20dc2bf0accbb52e3a212bef66603e3a","observation_id":"f6bdd94b-efb1-4875-9472-4065e4ef12a4","resolution":{"observed_at":"2026-08-12T11:24:46.425320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.401973Z","title":"A new fast C hebyshev-- F ourier algorithm for P oisson-type equations in polar geometries","venue":null,"work_id":"250e76c3-de06-4867-a6c8-89ceb6e497a9","year":2000},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.851024Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:fb0dcd3f660443814d8b6101c7dd35530609d3eefd4cd32d2ab28ed8f5419f9e","observation_id":"048da23d-5a6f-4013-b3e3-b98e1e0a7cfe","resolution":{"observed_at":"2026-08-12T11:24:46.407634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.387803Z","title":"Bifurcations and dynamics of spiral waves","venue":null,"work_id":"d1ed7d37-9e46-4b73-8e39-21b2bb368851","year":1999},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.855780Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:54bb6b419f7121d450457ef54aa728b722277b7477394713560ac7ee8aad7c81","observation_id":"9b7b9f3a-ac86-48a3-92bc-12d062f0720d","resolution":{"observed_at":"2026-08-12T11:24:46.392576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.374132Z","title":"Verified calculation of the nodes and weights for gaussian quadrature formulas","venue":null,"work_id":"60276081-6799-40fc-a351-0ca8d1c85224","year":1993},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.861862Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:5fdfeb95b2d347fcc8e0b18d62ecd811695170ae4a8a9cd8a5908e9f27c142cf","observation_id":"5243b3e9-2057-411f-a36c-712f2ee9a93b","resolution":{"observed_at":"2026-08-12T11:24:46.378706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:45.867902Z","title":"Spectral methods: algorithms, analysis and applications , volume 41","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.867902Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:9b316400192b4178db9b4c17cbc8cf833372457499e4e6bb8e4ce269bbb9cd45","observation_id":"aaa547ce-6fac-4b0f-9e48-b73ac105b3e0","resolution":{"observed_at":"2026-08-12T11:24:45.867902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.349436Z","title":"Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains","venue":null,"work_id":"f03a41e8-355d-4cf0-8380-a936aa6b587a","year":2013},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.873871Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:a60338de7aa931e93a767d9f9f79665041b8fe0a4f98c09188cb05df66b66ccf","observation_id":"f0d838bf-de6b-4789-998a-669fa1ac0b12","resolution":{"observed_at":"2026-08-12T11:24:46.354207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.334520Z","title":"The L orenz attractor exists","venue":null,"work_id":"c9aace8c-2bc5-4e6a-afdc-d85432f797c0","year":1999},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.879951Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:e6f026fda3281f1a15049ecf729825aceb006002da0177f0419185f3a6ce570a","observation_id":"c3d221bd-e6c5-488e-be25-8b731f6cc0fe","resolution":{"observed_at":"2026-08-12T11:24:46.338986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.317364Z","title":"A rigorous ODE S olver and S male's 14th P roblem","venue":null,"work_id":"ea807b25-843d-47d5-82dc-1d837e6865b5","year":2002},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.884974Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:5cfeba1444b0bc3b8f8a22bb0e3cdc6d590a8fbd203c3f999964fbb252a7944d","observation_id":"2c1fecb7-9209-4e4f-9c9b-b084db74957a","resolution":{"observed_at":"2026-08-12T11:24:46.323617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.296441Z","title":"Validated numerics","venue":null,"work_id":"49dfd051-0211-45e6-ba6a-4ea28a2269db","year":2011},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.894745Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:4665c5ff0beaceac6badf1383c331bc8741a8079acdf374b892689b23dc287f6","observation_id":"06e34cd5-ed61-4f48-92a2-277957049246","resolution":{"observed_at":"2026-08-12T11:24:46.302831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.279149Z","title":"Tensor calculus in polar coordinates using jacobi polynomials","venue":null,"work_id":"858aaf35-e1ac-42c5-b132-acc12ba29a22","year":2016},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.900364Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:64eb33f87ef85b7bb8ca98f8f5ee6223f8df13df5dc7543cd5c25f856d3ade70","observation_id":"4a791a3c-8fa7-47d6-88a7-fa5d1f4504f4","resolution":{"observed_at":"2026-08-12T11:24:46.285745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.258276Z","title":"Computer-assisted proofs for radially symmetric solutions of pdes","venue":null,"work_id":"6e8995c2-d3c9-4e16-95b0-1664d54c1010","year":2018},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.907300Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:d13f014d224b1b04a9673395c41e901285c9348607f869d0c716b795c7051649","observation_id":"f9776464-6a82-4146-b21b-d97d7935ba10","resolution":{"observed_at":"2026-08-12T11:24:46.265179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.243663Z","title":"Spontaneous periodic orbits in the N avier- S tokes flow","venue":null,"work_id":"499d10a9-90d1-415b-a636-1fa7c3118dc7","year":2021},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.912897Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:40db20b1c7ad6460ed68c06ac0df97715fc3c559102dc47cce3d4dd7003042bc","observation_id":"933c4e2d-29e7-438f-8cfe-d1179a4cb7f5","resolution":{"observed_at":"2026-08-12T11:24:46.247634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.228681Z","title":"Rotation invariant patterns for a nonlinear L aplace- B eltrami equation: A T aylor- C hebyshev series approach","venue":null,"work_id":"eedc2c10-9d36-4a78-9ef0-2e918b336997","year":2022},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.917855Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:4a175265e5ca57a24651a31b9eefd4e6263640aed6d71d121e8def6f9c754fae","observation_id":"ae3e7557-c5c5-4f9c-a705-c515a6d5821a","resolution":{"observed_at":"2026-08-12T11:24:46.234043Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.215306Z","title":"A proof of W right's conjecture","venue":null,"work_id":"7cdf84ce-97ac-42b6-b610-1b6e89b31ef6","year":2018},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.924039Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:13770bcd8b120ea28675948bf57cba1b77f9945e669257053863ce0bc069cd6a","observation_id":"dab4594a-6746-43b1-b69d-594d602ce160","resolution":{"observed_at":"2026-08-12T11:24:46.220069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.202254Z","title":"Rigorous numerics in dynamics","venue":null,"work_id":"74dcd70e-d553-4edf-8b75-8050a9d2751a","year":2015},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.928309Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:b4bba2f7c2fe87da9a9eefe248eb11d8dea2189d7ce5d76199586c0d9ad8b169","observation_id":"2a24c241-72be-4144-a70e-199a52a1e9fe","resolution":{"observed_at":"2026-08-12T11:24:46.206591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.187112Z","title":null,"venue":null,"work_id":"1080c011-bc3d-4f0b-938e-03e0963e9094","year":2019},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.934393Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:84f82275c8c80121098c43b9fdf03d2fbbfbbf165bc96c3f60a663267bffad27","observation_id":"30c00dd2-f60f-4187-b651-99f2ebb12e69","resolution":{"observed_at":"2026-08-12T11:24:46.193400Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.166879Z","title":null,"venue":null,"work_id":"9b8d4202-64c6-4ff8-a890-6cd9b72e242a","year":1965},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.939588Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:4b5a6cdb1f4f6d9e894dc4ffbf988fae14305d6dd7734c57226dbdb68f567d37","observation_id":"e5b648de-a5e6-4408-b54d-6264d71b8a43","resolution":{"observed_at":"2026-08-12T11:24:46.174443Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.142130Z","title":null,"venue":null,"work_id":"55c6e460-f4f5-44e3-bceb-458959c0a5a1","year":2009},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.944886Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:b1f6b913a5c1090ed152d22aa4fe94bb55c88d976355bc1836f0fe3bc8f461f7","observation_id":"e71f1366-c210-4499-a9b6-677d8df01ce3","resolution":{"observed_at":"2026-08-12T11:24:46.151576Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.125512Z","title":"Computer-assisted Existence Proofs for N avier- S tokes Equations on an Unbounded Strip with Obstacle","venue":null,"work_id":"75e48d98-2549-4b71-b68f-ca28ae850256","year":2022},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.950078Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:fb67c1023eca003a65bbb4db6f35c9637ee5bf6fd28a67d6fb52f4784f11e679","observation_id":"8ceeb70e-37f0-4e72-88c0-a4f9dc3156f7","resolution":{"observed_at":"2026-08-12T11:24:46.131525Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.108280Z","title":"A geometric method for infinite-dimensional chaos: symbolic dynamics for the K uramoto- S ivashinsky PDE on the line","venue":null,"work_id":"91d3992c-1d44-4252-8d18-205e75a828b5","year":2020},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.955052Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:69b1f6d793b6f64bc54bc5c83d4943456bda222fc505a24d55684b18c16a356f","observation_id":"1c61c27d-d6d0-4a3e-bb46-9b510125784c","resolution":{"observed_at":"2026-08-12T11:24:46.113373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.084589Z","title":null,"venue":null,"work_id":"43aa8f3e-ebf8-46c2-8803-42b2cba934df","year":1993},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.959807Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:93d0adaa1252d9e829c379793e4fab0488b5c11c621da8911b86bb8b1dc6df37","observation_id":"7f473ef4-1c8c-4962-b9bd-a051be48d778","resolution":{"observed_at":"2026-08-12T11:24:46.089723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.062480Z","title":null,"venue":null,"work_id":"308eaed1-655d-4f05-9f4f-58a4f34e15d7","year":1934},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.965712Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:fddaf2ec365a1202a45541e5b5e3fe89a9abe86d6070e105cd0531d1cc342090","observation_id":"c3d2e512-9df7-44af-92b4-326b798c486c","resolution":{"observed_at":"2026-08-12T11:24:46.066675Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:24:46.045474Z","title":"Rigorous numerics for partial differential equations: the K uramoto- S ivashinsky equation","venue":null,"work_id":"ee145399-00a4-4584-95ea-52945a57e9cc","year":2001},"citing_paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-12T11:24:45.970266Z"},"links":{"citing_paper":"/paper/2411.18361"},"observation_digest":"sha256:49afb49111806ea6a789ed9e0ce8e71c16bfab7515e370005322cee7148cfd55","observation_id":"643e3dbf-0519-4fce-8f63-b914fb6d235c","resolution":{"observed_at":"2026-08-12T11:24:46.051920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.18361","last_updated":"2024-11-27T14:07:11Z","latest_version":1,"primary_category":"math.NA","snapshot_observed_at":"2026-08-12T11:14:35.989318Z","submitted_at":"2024-11-27T14:07:11Z","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs"},"reference_resolution":{"displayed":74,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":58},"total_outbound_references":74},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 74 of 74 outbound references and 1 inbound Pith citation observation for arXiv:2411.18361."}