{"as_of":"2026-08-13T04:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f230dfdfcfd7503fd7637ff04cb4f8919b3097eeb4c6b9a452cea68ea18fdbeb","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-12T06:34:41.77262+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:097e3214f6da2df5b69bba927dee08a6e8eb3a6f6fb27c797ac0450925c9a8c9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4981ee20f050ed046d7c862e527a005a7b292a6e9f7ae87cfe18bd8106e47348","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4e60f608fba41e9894541ce6f04af53f252bcf71304bf92b156243f82e6a152d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d9bbb9be7652a80657b2dd931a6c595d6b58f01b4b2dafae8ddbb37aeb16901f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:c706d8ee19127373762a73117cf197e211c24e30525d2a4288ca0636ae9ac110","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d8741d38821d29ef45ac46edfed24f6574290a668fd03ba6e86a58d07c0956dd","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e2be9f86b4330e44b23e30de5b3fa3a1ca02d775d019ef6d3e0a9837b7f81d6c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-13T04:37:23.383383Z","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:3803a2fcb6e3912605a677a55dfbd672805a3c6edc779e43047caf1f22db95a7","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:f136927d286c454f57c7b5d25ce7c6a30b98c1be3a9312b0badc0686354eed56","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:9fa5d2f8cb3c360c4b18c389ec5f40588bc8a7962975cbf9ff28690d772f8d6b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:021a97179376001284d096221359937b4826cf497acc5154177435524967e348","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:154c729af2981c9566c722aa78dc7284c37da3e83cba88d1977b44b076835ae5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b8512ce44823b60c1ac8cddcf0b2eed6ae1bf3b9ce1b12af4408276e9c003ce4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:045b246903d4c2483e32ba6584e94f564e600b4760be49cd0da20f3635a1426c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4f9dd0357c3a207a66e1b7554ab80f0df07a4671b5a3222dfc116f122637003e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:681861aa4045d5d397b6e822ce39da5c320f69c21293005ef0717d6cfcb68896","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-11T23:03:04.183200Z","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:70cc6c899eec1e5a760be17b29ad4f907738e4fa4a118c7577072575b4c48b41","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:d8e8f5f68bd539b8355b44ecb42787b0b395ce85d69576444714144e7efaf331","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:c6f7fc34a18a8f326fafe20a43d047ab11efb1b4bd2670df49d6f108f29d6ec5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:904a82651eedcf28edf9463715d762895f26b78ea52aced6aceb37cbca449ee7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:79a2dc09d1c2bdfdae05d17d49db6ab0bdf42b53405cb59a1c3a126693447487","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:7a02469b41a1a3a62f44f08c0aa730b1ab436b6e6396e54c9995ca1ce20d8b33","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4e86050fcc19261adac0f6b9c60f9c7a3ffdf46ac695ee6e3ddf0c694209eb7c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:047605d2017449bf7e6b5ecabf95c4d93599d20171c9e9a02d310e9beafd47b5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e7cb489fe24b6097dcd24a480f330de32274a615eb05b23179d52350642e4b3e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:de4498df77bfd8256352c1c1c12dc8b8f1bba9a67dc62c659389a459ba719cf9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:1753eaa11d74984578f99dde905fdbf6a8236228e9364ec8121e8b0691cd8a73","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:c643570ad239521ffe1ae5682c3507fcc41b9af00c3b1283102aea2a49c4221a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:ba792406df73230c4133de3b626908c5b1a6ab977f4375b23ed26273eb3d47fa","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:51fcf1436c0c7988f4b34139e2b5f2cb36908a6c12665c41c31a3aab44c6753c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:8674e15c9f5f1208d56ecaab1d81f4faf3acc45424108eb0e3e9540953af22e4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e4f1275b86171c69ef07d4e7786e819bebad54025fcacf405204966559dbc843","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:95debefe85beb4027bf6251b85890a34cd604dc9049f376169bcae465123a163","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bcacbaa5136390e1271c6aef0894063dc16ad32d6fca4c76c5e010fa5ba98705","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:6193ef8738783359142a7297f82a61ae22e5169081a0c98066894fad35ea05c1","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4ad262901373d6b34c561dd40c88092cd6dc6b0a7798d0a7a4acbe7afb1af9f9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:afa8f2e4d1905ee1bd1d5a16fa6ca8fe9af4a8fff7850a59c76a0e4ddc4e2430","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b6119e9e2b65c8abc3722dcb178a098a6b882c7aa08f09c8fdf63e83933121f4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:9de82a52019d373dd92aeaa9c3f480b7737185728bcc6da3438d420e727fe7dc","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:fd839b86be7074e3f71b0ed01da570c196c80f1e8a47c094daa51de97926135a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:100251276ef7af61c3bacbe447a5d45913d7362d97503f9438b00c048d59c963","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:661cecfafa4a356fe7106b5441def34bcb0325421c39b654d80ce4a2df8ef0da","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4b9f70fba90a809cc68ae44efba1ba449117c29b85f37bd7cd4878122560a1da","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:dbc5c73944c7f846035d25e2494726d615aae6aaf9bcc18d9c510a650fa22c63","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:2a877cf9779e9733b9b960ff5304fc97235b63fffff66398db8d5d8367a2dd54","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:51a25c989e71b9cd4bfe520cd6db06c484c15d64a00abda6b192e92989c2af12","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:0f93e07dbd251f4fd899890218ef63a3f6d15978d1f90b0b7d8f575bbe579274","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:dd7053fefa33e310340eef6bcccc41b483a7ce6cd0be873547cf1dbf55b7900a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bc781664bf8b92f4e9c8bd409b20b0166d928dbbeb5761a3a6f88ad5aa515bee","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:e9117c528cd133e1375f8538131a00deb409acdbf109083c42658fcb8b2414c6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f9af87aba963fa857ee10167d43069ea86a54b4a2df4181829b1f1ee6c4defaa","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:f9bcd8a799b91b3ccad1e42a69d81dc2a5078cdf5dc9c27356694d777afd320c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:cd71a6ad389e2f46379cfd34c5ad194c46cc30998ca11f4ec64aed56c43a35b8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:04f4eb043d3204ffbbd1d2d19827d4cc658a63f6cb1b665c5ca046c3e5ec393a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:706b7db0e09cf09a95093783740b6ee0d44239a1d7b52e977092ccf690b2d138","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:4c16509a353cd81f2707ef234c0509824f253833beba7ef00fe178f14e6d156e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:c28f56d4c9fe01aac2ea0edc4903dc7cfa6e5fae2764978ddb41dcd5d81bf084","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:86bcc0cfdb963f0676d6646dea78683b4b418fb53a1936e4db824750267d51ef","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:04a777526621a21e5b24a1b230bae7dfbd50e514eab62255096af625a04beaf2","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:623c5994e79385339fb9a158ef57b7026608e6fafc88e1c0c5d8b96aa5a0ac6f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:1683281de8e7ed67db45c826dc3369cc9a6bc2128f57d25ca58f33061d9a5ed6","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:eb1f5b26e232341f558a19445dc9c89056856832f67f52256f071a6d3f72e2e0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:0b812eee6f376282089705c351bf76f33d796b7c2a25eabc6d613436b3138f80","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:3f058ece59da0b1b08dedc62eff2d24d5e6f7de487bf007d4c354281658df930","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:93ae2c35a3afed0c818af530c3504bc6d1d0d9ccf2735273d8fa34ac468544d7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:d590a23604dbd21e028f645e229eea8d99aef09e779c07ea5d27f4ea0294bbfc","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:dfdbe741d165f22ba1ad4042025f9e961c5f47c91eb1521046ae7c7b9fe52eaa","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:fcf8c33f210ab8e626a8ee040711364aad29f9b83becb1cdc7fcdcca10f084d0","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:3d3a95a032bc4141362e2c8025b7212b52d9b27ea77a5cb5fef340967cf49525","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:489d400ef6b5b2335c6b3c9c45b5af766afd41666907b3be4893c0666e42f1fa","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:43575b8e1209b4cc1a98d356f929404153a2064fac45aa2702b785fad4e7ca05","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:bd327c423022ae8bd1a59b934547fffa077c30b1335259e28ef460175a2d28eb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:b11230edd229ba29ca28237d137d1b09d7480db668509a251e6dabd01592cf5e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:9d1bed96ece98bfc397d171106c0c3cb62f63336a12fec25894136de18be2c05","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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."}