On the public citation graph
Rigorous Numerics in Dynamics
0 signed · 107 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-0-387-21830-4_6openalex-snapshot
Period Three Implies Chaos
inferredcites →https://doi.org/10.1007/s002080010010openalex-snapshot
Rigorous Numerics for Partial Differential Equations: The Kuramoto—Sivashinsky Equation
inferredcites →https://doi.org/10.1007/s002080010018openalex-snapshot
A Rigorous ODE Solver and Smale’s 14th Problem
inferredcites →https://doi.org/10.1007/s00211-008-0191-5openalex-snapshot
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh–Bénard problems
inferredcites →https://doi.org/10.1007/s10208-002-0080-8openalex-snapshot
Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto?Sivashinsky PDE?A Computer-Assisted Proof
inferredcites →https://doi.org/10.1016/j.jde.2005.07.016openalex-snapshot
A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
inferredcites →https://doi.org/10.1016/j.jde.2009.11.008openalex-snapshot
Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
inferredcites →https://doi.org/10.1016/j.jde.2010.07.002openalex-snapshot
Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
inferredcites →https://doi.org/10.1016/s0022-0396(03)00186-4openalex-snapshot
Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof
inferredcites →https://doi.org/10.1017/s095679250200503xopenalex-snapshot
Propagation of hexagonal patterns near onset
inferredcites →https://doi.org/10.1017/s096249291000005xopenalex-snapshot
Verification methods: Rigorous results using floating-point arithmetic
inferredcites →https://doi.org/10.1021/ma00164a028openalex-snapshot
Equilibrium morphology of block copolymer melts
inferredcites →https://doi.org/10.1021/ma00219a022openalex-snapshot
Equilibrium morphology of block copolymer melts. 3
inferredcites →https://doi.org/10.1081/nfa-100105107openalex-snapshot
NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
inferredcites →https://doi.org/10.1090/s0025-5718-10-02325-2openalex-snapshot
Global smooth solution curves using rigorous branch following
inferredcites →https://doi.org/10.1090/s0273-0979-1982-15008-xopenalex-snapshot
A computer-assisted proof of the Feigenbaum conjectures
inferredcites →https://doi.org/10.1103/physreva.41.6763openalex-snapshot
Cell dynamical system approach to block copolymers
inferredcites →https://doi.org/10.1137/070709128openalex-snapshot
Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
inferredcites →https://doi.org/10.1137/080734935openalex-snapshot
A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
inferredcites →https://doi.org/10.1137/10078298xopenalex-snapshot
Integration of Dissipative Partial Differential Equations: A Case Study
inferredcites →https://doi.org/10.1137/140984506openalex-snapshot
Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
inferredcites →https://doi.org/10.1201/9780203734636-21openalex-snapshot
A Computer-Assisted Proof of the Feigenbaum Conjectures
inferredcites →https://doi.org/10.1515/crll.1955.194.66openalex-snapshot
A non-linear difference-differential equation.
inferredcites →https://doi.org/10.4007/annals.2005.162.1065openalex-snapshot
A proof of the Kepler conjecture
inferredcites →https://doi.org/10.5860/choice.49-1519openalex-snapshot
Validated numerics: a short introduction to rigorous computations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4671783openalex-extracted
Computer Assisted Proofs for Transverse Collision and Near Collision Orbits in the Restricted Three Body Problem
inferred← citeshttps://doi.org/10.1002/mma.4376openalex-snapshot
An analysis of the fourth‐order PDEs – ‘patterns’ and ‘di‐block polymers’
inferred← citeshttps://doi.org/10.1007/978-981-13-7669-6_11openalex-snapshot
Computer-Assisted Proofs for Dynamical Systems
inferred← citeshttps://doi.org/10.1007/s00205-017-1186-0openalex-snapshot
Rigorous Numerics for ill-posed PDEs: Periodic Orbits in the Boussinesq Equation
inferred← citeshttps://doi.org/10.1007/s00211-024-01415-wopenalex-snapshot
Validated integration of semilinear parabolic PDEs
inferred← citeshttps://doi.org/10.1007/s00211-025-01504-4openalex-snapshot
Constructive proofs for some semilinear PDEs on $$H^2(e^{|x|^2/4},\mathbb {R}^d)$$
inferred← citeshttps://doi.org/10.1007/s00220-024-05220-2openalex-snapshot
Determination of Stable Branches of Relative Equilibria of the N-Vortex Problem on the Sphere
inferred← citeshttps://doi.org/10.1007/s00332-021-09695-4openalex-snapshot
Spontaneous Periodic Orbits in the Navier–Stokes Flow
inferred← citeshttps://doi.org/10.1007/s00332-026-10242-2openalex-snapshot
Computer-Assisted Proofs of Gap Solitons in Bose–Einstein Condensates
inferred← citeshttps://doi.org/10.1007/s00526-016-1048-xopenalex-snapshot
Existence and convergence of solutions of the boundary value problem in atomistic and continuum nonlinear elasticity theory
inferred← citeshttps://doi.org/10.1007/s10208-023-09623-wopenalex-snapshot
Toward Computational Morse–Floer Homology: Forcing Results for Connecting Orbits by Computing Relative Indices of Critical Points
inferred← citeshttps://doi.org/10.1007/s10569-018-9879-8openalex-snapshot
Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
inferred← citeshttps://doi.org/10.1007/s10884-019-09784-9openalex-snapshot
Rigorous A-Posteriori Analysis Using Numerical Eigenvalue Bounds in a Surface Growth Model
inferred← citeshttps://doi.org/10.1007/s10884-020-09880-1openalex-snapshot
A Rigorous Implicit $$C^1$$ Chebyshev Integrator for Delay Equations
inferred← citeshttps://doi.org/10.1007/s10884-020-09908-6openalex-snapshot
A General Method for Computer-Assisted Proofs of Periodic Solutions in Delay Differential Problems
inferred← citeshttps://doi.org/10.1007/s10884-021-10002-8openalex-snapshot
Parameterization of Unstable Manifolds for DDEs: Formal Series Solutions and Validated Error Bounds
inferred← citeshttps://doi.org/10.1007/s10884-021-10112-3openalex-snapshot
Quasiperiodicity and Blowup in Integrable Subsystems of Nonconservative Nonlinear Schrödinger Equations
inferred← citeshttps://doi.org/10.1007/s10884-022-10146-1openalex-snapshot
Validated Numerical Approximation of Stable Manifolds for Parabolic Partial Differential Equations
inferred← citeshttps://doi.org/10.1007/s10884-026-10488-0openalex-snapshot
Turing Instability for Nonlocal Heterogeneous Reaction-Diffusion Systems: A Computer-Assisted Proof Approach
inferred← citeshttps://doi.org/10.1007/s10884-026-10545-8openalex-snapshot
Computer-Assisted Instability Verification of Nontrivial Solutions of the Kolmogorov Problem: A Coupled System Approach
inferred← citeshttps://doi.org/10.1007/s10915-024-02785-xopenalex-snapshot
A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory
inferred← citeshttps://doi.org/10.1007/s11071-019-05284-zopenalex-snapshot
When does a periodic response exist in a periodically forced multi-degree-of-freedom mechanical system?
inferred← citeshttps://doi.org/10.1007/s11784-020-00841-1openalex-snapshot
A constructive proof of the Cauchy–Kovalevskaya theorem for ordinary differential equations
inferred← citeshttps://doi.org/10.1007/s11786-021-00510-7openalex-snapshot
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton–Picard Method
inferred← citeshttps://doi.org/10.1007/s12346-018-0279-yopenalex-snapshot
Validated Numerics for Continuation and Bifurcation of Connecting Orbits of Maps
inferred← citeshttps://doi.org/10.1007/s40324-019-00186-xopenalex-snapshot
Computer-assisted proofs in PDE: a survey
inferred← citeshttps://doi.org/10.1016/j.aim.2022.108234openalex-snapshot
Global dynamics in nonconservative nonlinear Schrödinger equations
inferred← citeshttps://doi.org/10.1016/j.cnsns.2025.109063openalex-snapshot
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
inferred← citeshttps://doi.org/10.1016/j.cnsns.2025.109398openalex-snapshot
A comparative study of validated Taylor and Chebyshev long time integration of ODEs
inferred← citeshttps://doi.org/10.1016/j.cnsns.2025.109408openalex-snapshot
Computer-assisted proofs for finding the monodromy of Picard–Fuchs differential equations for a family of K3 toric hypersurfaces
inferred← citeshttps://doi.org/10.1016/j.indag.2018.08.003openalex-snapshot
Fourier–Taylor parameterization of unstable manifolds for parabolic partial differential equations: Formalism, implementation and rigorous validation
inferred← citeshttps://doi.org/10.1016/j.jde.2018.01.033openalex-snapshot
Existence and instability of steady states for a triangular cross-diffusion system: A computer-assisted proof
inferred← citeshttps://doi.org/10.1016/j.jde.2018.04.042openalex-snapshot
Some unexpected results on the Brillouin singular equation: Fold bifurcation of periodic solutions
inferred← citeshttps://doi.org/10.1016/j.jde.2018.08.007openalex-snapshot
Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
inferred← citeshttps://doi.org/10.1016/j.jde.2018.10.027openalex-snapshot
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
inferred← citeshttps://doi.org/10.1016/j.jde.2023.03.053openalex-snapshot
Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
inferred← citeshttps://doi.org/10.1016/j.jde.2024.09.015openalex-snapshot
Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: Constructive proofs of existence
inferred← citeshttps://doi.org/10.1016/j.jde.2025.113550openalex-snapshot
Asymptotic stability of sharp fronts: Analysis and rigorous computation
inferred← citeshttps://doi.org/10.1016/j.matpur.2019.04.012openalex-snapshot
Rigorous validation of stochastic transition paths
inferred← citeshttps://doi.org/10.1016/j.physd.2016.02.007openalex-snapshot
Automatic differentiation for Fourier series and the radii polynomial approach
inferred← citeshttps://doi.org/10.1016/j.physd.2020.132732openalex-snapshot
Optimal periodic structures with general space group symmetries in the Ohta–Kawasaki problem
inferred← citeshttps://doi.org/10.1016/j.physd.2021.133072openalex-snapshot
Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
inferred← citeshttps://doi.org/10.1016/j.physd.2025.134617openalex-snapshot
Detecting random bifurcations via rigorous enclosures of large deviations rate functions
inferred← citeshttps://doi.org/10.1051/m2an/2021037openalex-snapshot
Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
inferred← citeshttps://doi.org/10.1088/1361-6544/abcb08openalex-snapshot
Torus knot choreographies in the n -body problem
inferred← citeshttps://doi.org/10.1088/1361-6544/ac4d91openalex-snapshot
Microscopic patterns in the 2D phase-field-crystal model
inferred← citeshttps://doi.org/10.1088/1361-6544/ad0278openalex-snapshot
Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
inferred← citeshttps://doi.org/10.1088/1361-6544/adb5e8openalex-snapshot
Constructive proofs of existence and stability of solitary waves in the Whitham and capillary–gravity Whitham equations
inferred← citeshttps://doi.org/10.1088/1361-6544/adbda3openalex-snapshot
Branches and bifurcations of ejection–collision orbits in the planar circular restricted three body problem
inferred← citeshttps://doi.org/10.1090/psapm/074/00637openalex-snapshot
Continuation of solutions and studying delay differential equations via rigorous numerics
inferred← citeshttps://doi.org/10.1090/psapm/074/00641openalex-snapshot
Rigorous computational dynamics in the context of unknown nonlinearities
inferred← citeshttps://doi.org/10.1111/sapm.12624openalex-snapshot
Computer‐assisted analysis of chaos in a three‐species food chain model
inferred← citeshttps://doi.org/10.1121/10.0009201openalex-snapshot
Rigorous numerics for the Pekeris problem
inferred← citeshttps://doi.org/10.1137/15m1053608openalex-snapshot
Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
inferred← citeshttps://doi.org/10.1137/16m1056006openalex-snapshot
Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
inferred← citeshttps://doi.org/10.1137/17m1155624openalex-snapshot
Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions
inferred← citeshttps://doi.org/10.1137/18m1235818openalex-snapshot
Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos
inferred← citeshttps://doi.org/10.1137/20m1332530openalex-snapshot
Free Vibrations in a Wave Equation Modeling MEMS
inferred← citeshttps://doi.org/10.1137/21m1420095openalex-snapshot
Validated Spectral Stability via Conjugate Points
inferred← citeshttps://doi.org/10.1137/22m1493197openalex-snapshot
A Posteriori Validation of Generalized Polynomial Chaos Expansions
inferred← citeshttps://doi.org/10.1137/22m1499418openalex-snapshot
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
inferred← citeshttps://doi.org/10.1137/23m1607507openalex-snapshot
Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods
inferred← citeshttps://doi.org/10.1137/25m1772824openalex-snapshot
Computer-Assisted Proofs for Geometry Optimization: From Crystallization to Carbon Nanotubes
inferred← citeshttps://doi.org/10.1142/s2591728520500024openalex-snapshot
The Convergence of the Legendre–Galerkin Spectral Method for Constructing Atmospheric Acoustic Normal Modes
inferred← citeshttps://doi.org/10.1145/3208103openalex-snapshot
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations
inferred← citeshttps://doi.org/10.1145/3208976.3209000openalex-snapshot
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
inferred← citeshttps://doi.org/10.1214/22-aap1841openalex-snapshot
Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
inferred← citeshttps://doi.org/10.21136/am.2018.0082-18openalex-snapshot
Computing discrete convolutions with verified accuracy via Banach algebras and the FFT
inferred← citeshttps://doi.org/10.26524/cm119openalex-snapshot
Reductions and exact solutions of a cubic schrodinger partial differential equation
inferred← citeshttps://doi.org/10.3934/dcds.2020162openalex-snapshot
Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
inferred← citeshttps://doi.org/10.3934/dcdsb.2018164openalex-snapshot
Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
inferred← citeshttps://doi.org/10.3934/jcd.2016001openalex-snapshot
Discretization strategies for computing Conley indices and Morse decompositions of flows
inferred← citeshttps://doi.org/10.3934/jcd.2017003openalex-snapshot
Rigorous continuation of bifurcation points in the diblock copolymer equation
inferred← citeshttps://doi.org/10.3934/jcd.2018003openalex-snapshot
Computer-assisted proofs for radially symmetric solutions of PDEs
inferred← citeshttps://doi.org/10.3934/jcd.2022005openalex-snapshot
Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: A Taylor-Chebyshev series approach
inferred← citeshttps://doi.org/10.3934/jcd.2025003openalex-snapshot
Computer assisted existence proofs for parameterized cycle-to-cycle connections
inferred← citeshttps://doi.org/10.48550/arxiv.1509.08648openalex-snapshot
Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
inferred← citeshttps://doi.org/10.48550/arxiv.1708.06322openalex-snapshot
Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
inferred← citeshttps://doi.org/10.48550/arxiv.1905.08116openalex-snapshot
Computer Assisted Proofs of Attracting Invariant Tori for ODEs
inferred← citeshttps://doi.org/10.70675/acaf214bz951ez4360za718z0aba8b1bb53fopenalex-snapshot
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.