Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs | Paper Citation Record

Observation 40bdb3d0-9cc1-4e87-962c-7b63385c718b · outbound

This paper cites Uniqueness and bifurcation branches for planar steady N avier- S tokes equations under N avier boundary conditions.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Uniqueness and bifurcation branches for planar steady N avier- S tokes equations under N avier boundary conditions

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.335351Z

Source-reported events for the cited work

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

Observation 25662f9e-669d-4071-b4bd-4a0aff09b097 · outbound

This paper cites Integration of dissipative partial differential equations: a case study.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Integration of dissipative partial differential equations: a case study

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.321018Z

Source-reported events for the cited work

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

Observation 6788ca2a-c1de-4b1a-a041-4dec5a65f1f7 · outbound

This paper cites Non-radial solutions for some semilinear elliptic equations on the disk.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Non-radial solutions for some semilinear elliptic equations on the disk

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.303736Z

Source-reported events for the cited work

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

Observation 95e16f35-fcf4-4b10-beaa-ff81ee6a239d · outbound

This paper cites Periodic and quasiperiodic waves on the sphere.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Periodic and quasiperiodic waves on the sphere

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.285210Z

Source-reported events for the cited work

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

Observation b95663aa-0663-4289-947e-6ef123484d3e · outbound

This paper cites Rounding error bounds for the C lenshaw and F orsythe algorithms for the evaluation of orthogonal polynomial series.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Rounding error bounds for the C lenshaw and F orsythe algorithms for the evaluation of orthogonal polynomial series

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.272714Z

Source-reported events for the cited work

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

Observation e3a2e78c-31c5-47f0-8198-78ed579b58c6 · outbound

This paper cites Constructive proofs for some semilinear PDE s on H ^2(e^ |x|²/4 , R ^d).

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Constructive proofs for some semilinear PDE s on H ^2(e^ |x|²/4 , R ^d)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.250000Z

Source-reported events for the cited work

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

Observation 77e6dffb-47c5-4c1d-98ee-9f888ccc5213 · outbound

This paper cites Smooth imploding solutions for 3D compressible fluids.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Smooth imploding solutions for 3D compressible fluids

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T11:24:45.617659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1e2d9be-e1a0-4d59-83d4-ad05f7a74b9c · outbound

This paper cites Julia: A fresh approach to numerical computing.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Julia: A fresh approach to numerical computing

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.236448Z

Source-reported events for the cited work

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

Observation 9d55d77b-56e8-4651-b9b0-8015da80ee5a · outbound

This paper cites Angular momentum in quantum physics: theory and application.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Angular momentum in quantum physics: theory and application

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.220497Z

Source-reported events for the cited work

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

Observation 28c7f7a1-ea1e-4c04-a34f-f3854731463f · outbound

This paper cites Iteration-free computation of gauss--legendre quadrature nodes and weights.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Iteration-free computation of gauss--legendre quadrature nodes and weights

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.194721Z

Source-reported events for the cited work

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

Observation e6b9bec4-3677-47da-aa79-3bb4707f02fa · outbound

This paper cites C hebyshev and F ourier spectral methods.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs C hebyshev and F ourier spectral methods

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.178543Z

Source-reported events for the cited work

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

Observation 068f1d09-1fc8-4106-9ae3-62796ae9e819 · outbound

This paper cites Dedalus: A flexible framework for numerical simulations with spectral methods.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Dedalus: A flexible framework for numerical simulations with spectral methods

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.150201Z

Source-reported events for the cited work

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

Observation 2b3397b5-74e4-44ef-8f7f-8e84af1131ab · outbound

This paper cites Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.130722Z

Source-reported events for the cited work

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

Observation dec28361-ce4c-498d-82bb-a4470fb72d7a · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:47.116069Z

Source-reported events for the cited work

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

Observation 35602ed0-4150-48a7-bf4f-ac752c20d6d4 · outbound

This paper cites Zernile P olynomials.jl.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Zernile P olynomials.jl

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.092853Z

Source-reported events for the cited work

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

Observation d78e4f70-80fc-41e1-9029-ed2f2a72cf94 · outbound

This paper cites Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T11:24:45.656803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb2a82b-7eb7-4c75-8ead-b390b39c7208 · outbound

This paper cites Computer-assisted proof of heteroclinic connections in the one-dimensional O hta- K awasaki M odel.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Computer-assisted proof of heteroclinic connections in the one-dimensional O hta- K awasaki M odel

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.069235Z

Source-reported events for the cited work

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

Observation 16dd245f-372e-477a-b74f-b856169a02f6 · outbound

This paper cites Determining the source of period-doubling instabilities in spiral waves.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Determining the source of period-doubling instabilities in spiral waves

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.051527Z

Source-reported events for the cited work

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

Observation 9561615f-b803-42c9-90ce-09a066bff91f · outbound

This paper cites A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.036985Z

Source-reported events for the cited work

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

Observation 2f91d3c7-d47f-4378-a7b7-fe3770907e27 · outbound

This paper cites Forsythe.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Forsythe

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.018502Z

Source-reported events for the cited work

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

Observation 4bc83c68-4142-4516-bb94-6d2a2298cae1 · outbound

This paper cites Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDE s.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDE s

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:47.001681Z

Source-reported events for the cited work

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

Observation 814b7e6f-0dba-4949-b487-0af02d8af5d8 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.981653Z

Source-reported events for the cited work

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

Observation e8e9f0ec-2eda-4b13-8c66-bdfadd3043eb · outbound

This paper cites Computer-assisted proofs in PDE : a survey.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Computer-assisted proofs in PDE : a survey

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.966748Z

Source-reported events for the cited work

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

Observation fcd21ed7-0c71-413f-b009-471050e49b91 · outbound

This paper cites Golub and John H.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Golub and John H

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.952032Z

Source-reported events for the cited work

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

Observation 65845f38-e551-42ff-aede-0fe77ff295a2 · outbound

This paper cites Potential singularity formation of incompressible axisymmetric euler equations with degenerate viscosity coefficients.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Potential singularity formation of incompressible axisymmetric euler equations with degenerate viscosity coefficients

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.930156Z

Source-reported events for the cited work

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

Observation 307ee970-b30b-436a-a62c-d9b93526154b · outbound

This paper cites Dynamic stability of the three-dimensional axisymmetric N avier- S tokes equations with swirl.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Dynamic stability of the three-dimensional axisymmetric N avier- S tokes equations with swirl

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.915430Z

Source-reported events for the cited work

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

Observation 32af18b4-905f-46b1-854d-408e76863586 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.898411Z

Source-reported events for the cited work

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

Observation ab08a676-f4e4-486c-bb39-2eb2251ffee4 · outbound

This paper cites Fast and accurate computation of G auss-- L egendre and G auss-- J acobi quadrature nodes and weights.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Fast and accurate computation of G auss-- L egendre and G auss-- J acobi quadrature nodes and weights

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.878112Z

Source-reported events for the cited work

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

Observation d85033a9-ed12-49bd-8894-0f1dff2b4bda · outbound

This paper cites Zernike expansion of derivatives and L aplacians of the Z ernike circle polynomials.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Zernike expansion of derivatives and L aplacians of the Z ernike circle polynomials

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.863620Z

Source-reported events for the cited work

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

Observation cc37638b-f838-4d4e-9f54-2969eb909951 · outbound

This paper cites A proof of J ones' conjecture.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A proof of J ones' conjecture

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.843533Z

Source-reported events for the cited work

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

Observation eadac064-6503-477f-a78c-65417e8780c4 · outbound

This paper cites Banach algebra related to disk polynomials.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Banach algebra related to disk polynomials

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.823881Z

Source-reported events for the cited work

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

Observation 584d7e03-ea5e-412f-aa00-bfc2f902cd45 · outbound

This paper cites Spiral breakup in model equations of action potential propagation in cardiac tissue.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Spiral breakup in model equations of action potential propagation in cardiac tissue

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.808450Z

Source-reported events for the cited work

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

Observation 721aaf63-db2a-4893-9b30-8bbf6a8060b5 · outbound

This paper cites Electrical alternans and spiral wave breakup in cardiac tissue.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Electrical alternans and spiral wave breakup in cardiac tissue

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.790667Z

Source-reported events for the cited work

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

Observation 8cecf019-bd13-4810-8721-b3862913912a · outbound

This paper cites Nakao, Yoshitaka Watanabe, and Takaaki Nishida.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Nakao, Yoshitaka Watanabe, and Takaaki Nishida

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.766072Z

Source-reported events for the cited work

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

Observation 0e8abc63-4bdb-43d2-8def-0dd2ed732772 · outbound

This paper cites Positivity proofs for linearization and connection coefficients of orthogonal polynomials satisfying an addition formula.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Positivity proofs for linearization and connection coefficients of orthogonal polynomials satisfying an addition formula

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.745296Z

Source-reported events for the cited work

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

Observation bf12875a-91e6-414a-af4c-fda416cc0613 · outbound

This paper cites Computer-assisted proofs in analysis and programming in logic: a case study.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Computer-assisted proofs in analysis and programming in logic: a case study

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.728826Z

Source-reported events for the cited work

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

Observation 45c3ed4c-e81f-4f97-b5ba-d9afd232894a · outbound

This paper cites Lanford, III.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Lanford, III

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.710972Z

Source-reported events for the cited work

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

Observation 54016daf-e1a0-4239-bfe6-efe023b37f7e · outbound

This paper cites Nakao, and Shin'ichi Oishi.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Nakao, and Shin'ichi Oishi

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.687029Z

Source-reported events for the cited work

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

Observation b357ba88-53e6-451b-9b8a-ffee93f56895 · outbound

This paper cites Verified eigenvalue evaluation for the L aplacian over polygonal domains of arbitrary shape.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Verified eigenvalue evaluation for the L aplacian over polygonal domains of arbitrary shape

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.666419Z

Source-reported events for the cited work

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

Observation dac3179c-5b27-439c-bd6e-4f4f9416b09f · outbound

This paper cites On the bifurcation structure of axisymmetric vortex breakdown in a constricted pipe.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs On the bifurcation structure of axisymmetric vortex breakdown in a constricted pipe

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.652099Z

Source-reported events for the cited work

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

Observation 6bae777d-2163-4f9c-9e2e-ddc55a19d92c · outbound

This paper cites An efficient spectral-projection method for the N avier-- S tokes equations in cylindrical geometries: I.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs An efficient spectral-projection method for the N avier-- S tokes equations in cylindrical geometries: I

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.633696Z

Source-reported events for the cited work

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

Observation 7ae6c0ea-945f-4e10-80ec-273ae5ec6cda · outbound

This paper cites Vorticity and incompressible flow.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Vorticity and incompressible flow

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.614911Z

Source-reported events for the cited work

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

Observation 67e41591-d001-4a38-bed9-8c937226e6cf · outbound

This paper cites A spectral method for polar coordinates.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A spectral method for polar coordinates

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.598156Z

Source-reported events for the cited work

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

Observation d1248a14-7797-4e53-8baa-ac506130b8f2 · outbound

This paper cites Chaos in the L orenz equations: a computer-assisted proof.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Chaos in the L orenz equations: a computer-assisted proof

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.581533Z

Source-reported events for the cited work

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

Observation f72f83dd-c255-4e4e-8784-58e2cad26797 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.561231Z

Source-reported events for the cited work

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

Observation e7be3ed6-8717-4ae2-90de-6c5c61204645 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.545516Z

Source-reported events for the cited work

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

Observation fe6e610f-4ee0-46a2-ba46-237934695a0a · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.525835Z

Source-reported events for the cited work

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

Observation b08eb40d-8cd2-4458-a7c5-02e873ebb94f · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.505464Z

Source-reported events for the cited work

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

Observation 3231068c-9955-4cc0-9338-5106d9a44071 · outbound

This paper cites Nakao, Michael Plum, and Yoshitaka Watanabe.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Nakao, Michael Plum, and Yoshitaka Watanabe

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.482225Z

Source-reported events for the cited work

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

Observation d91d49f5-0361-4eba-9618-4ddf079f6f4d · outbound

This paper cites The NIST Handbook of Mathematical Functions.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs The NIST Handbook of Mathematical Functions

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.457047Z

Source-reported events for the cited work

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

Observation 91f5e0e4-095c-45f2-9c49-527e1986ff8e · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.442375Z

Source-reported events for the cited work

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

Observation f6bdd94b-efb1-4875-9472-4065e4ef12a4 · outbound

This paper cites Sanders and Luis Benet.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Sanders and Luis Benet

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.425320Z

Source-reported events for the cited work

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

Observation 048da23d-5a6f-4013-b3e3-b98e1e0a7cfe · outbound

This paper cites A new fast C hebyshev-- F ourier algorithm for P oisson-type equations in polar geometries.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A new fast C hebyshev-- F ourier algorithm for P oisson-type equations in polar geometries

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.407634Z

Source-reported events for the cited work

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

Observation 9b7b9f3a-ac86-48a3-92bc-12d062f0720d · outbound

This paper cites Bifurcations and dynamics of spiral waves.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Bifurcations and dynamics of spiral waves

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.392576Z

Source-reported events for the cited work

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

Observation 5243b3e9-2057-411f-a36c-712f2ee9a93b · outbound

This paper cites Verified calculation of the nodes and weights for gaussian quadrature formulas.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Verified calculation of the nodes and weights for gaussian quadrature formulas

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.378706Z

Source-reported events for the cited work

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

Observation aaa547ce-6fac-4b0f-9e48-b73ac105b3e0 · outbound

This paper cites Spectral methods: algorithms, analysis and applications , volume 41.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Spectral methods: algorithms, analysis and applications , volume 41

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-12T11:24:45.867902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0d838bf-de6b-4789-998a-669fa1ac0b12 · outbound

This paper cites Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.354207Z

Source-reported events for the cited work

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

Observation c3d221bd-e6c5-488e-be25-8b731f6cc0fe · outbound

This paper cites The L orenz attractor exists.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs The L orenz attractor exists

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.338986Z

Source-reported events for the cited work

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

Observation 2c1fecb7-9209-4e4f-9c9b-b084db74957a · outbound

This paper cites A rigorous ODE S olver and S male's 14th P roblem.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A rigorous ODE S olver and S male's 14th P roblem

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.323617Z

Source-reported events for the cited work

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

Observation 06e34cd5-ed61-4f48-92a2-277957049246 · outbound

This paper cites Validated numerics.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Validated numerics

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.302831Z

Source-reported events for the cited work

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

Observation 4a791a3c-8fa7-47d6-88a7-fa5d1f4504f4 · outbound

This paper cites Tensor calculus in polar coordinates using jacobi polynomials.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Tensor calculus in polar coordinates using jacobi polynomials

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.285745Z

Source-reported events for the cited work

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

Observation f9776464-6a82-4146-b21b-d97d7935ba10 · outbound

This paper cites Computer-assisted proofs for radially symmetric solutions of pdes.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Computer-assisted proofs for radially symmetric solutions of pdes

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.265179Z

Source-reported events for the cited work

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

Observation 933c4e2d-29e7-438f-8cfe-d1179a4cb7f5 · outbound

This paper cites Spontaneous periodic orbits in the N avier- S tokes flow.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Spontaneous periodic orbits in the N avier- S tokes flow

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.247634Z

Source-reported events for the cited work

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

Observation ae3e7557-c5c5-4f9c-a705-c515a6d5821a · outbound

This paper cites Rotation invariant patterns for a nonlinear L aplace- B eltrami equation: A T aylor- C hebyshev series approach.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Rotation invariant patterns for a nonlinear L aplace- B eltrami equation: A T aylor- C hebyshev series approach

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.234043Z

Source-reported events for the cited work

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

Observation dab4594a-6746-43b1-b69d-594d602ce160 · outbound

This paper cites A proof of W right's conjecture.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A proof of W right's conjecture

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.220069Z

Source-reported events for the cited work

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

Observation 2a24c241-72be-4144-a70e-199a52a1e9fe · outbound

This paper cites Rigorous numerics in dynamics.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Rigorous numerics in dynamics

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.206591Z

Source-reported events for the cited work

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

Observation 30c00dd2-f60f-4187-b651-99f2ebb12e69 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 67

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.193400Z

Source-reported events for the cited work

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

Observation e5b648de-a5e6-4408-b54d-6264d71b8a43 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 68

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.174443Z

Source-reported events for the cited work

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

Observation e71f1366-c210-4499-a9b6-677d8df01ce3 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 69

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.151576Z

Source-reported events for the cited work

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

Observation 8ceeb70e-37f0-4e72-88c0-a4f9dc3156f7 · outbound

This paper cites Computer-assisted Existence Proofs for N avier- S tokes Equations on an Unbounded Strip with Obstacle.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Computer-assisted Existence Proofs for N avier- S tokes Equations on an Unbounded Strip with Obstacle

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.131525Z

Source-reported events for the cited work

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

Observation 1c61c27d-d6d0-4a3e-bb46-9b510125784c · outbound

This paper cites A geometric method for infinite-dimensional chaos: symbolic dynamics for the K uramoto- S ivashinsky PDE on the line.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs A geometric method for infinite-dimensional chaos: symbolic dynamics for the K uramoto- S ivashinsky PDE on the line

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.113373Z

Source-reported events for the cited work

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

Observation 7f473ef4-1c8c-4962-b9bd-a051be48d778 · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 72

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.089723Z

Source-reported events for the cited work

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

Observation c3d2e512-9df7-44af-92b4-326b798c486c · outbound

This paper cites an unresolved cited work.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-08-12T11:24:46.066675Z

Source-reported events for the cited work

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

Observation 643e3dbf-0519-4fce-8f63-b914fb6d235c · outbound

This paper cites Rigorous numerics for partial differential equations: the K uramoto- S ivashinsky equation.

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Rigorous numerics for partial differential equations: the K uramoto- S ivashinsky equation

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T11:24:46.051920Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers