A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531): Difference between revisions

@@ Property / cites work @@
+A Test for Existence of Solutions to Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+A complete proof of the Feigenbaum conjectures
@@ Property / cites work: A complete proof of the Feigenbaum conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036851
@@ Property / cites work: Q4036851 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+\(C^1\) Lohner algorithm.
@@ Property / cites work: \(C^1\) Lohner algorithm. / rank @@
+Normal rank
@@ Property / cites work @@
+Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
+Normal rank
@@ Property / cites work @@
+Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
+Normal rank
@@ Property / cites work @@
+Period doubling bifurcations for families of maps on \(R^ n\)
+Normal rank
@@ Property / cites work @@
+Period doubling in area-preserving maps: an associated one-dimensional problem
+Normal rank
@@ Property / cites work @@
+INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
+Normal rank
@@ Property / cites work @@
+A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
+Normal rank
@@ Property / cites work @@
+Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
+Normal rank
@@ Property / cites work @@
+Integration of Dissipative Partial Differential Equations: A Case Study
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
+Normal rank
@@ Property / cites work @@
+Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
+Normal rank
@@ Property / cites work @@
+A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
+Normal rank
@@ Property / cites work @@
+Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
+Normal rank
@@ Property / cites work @@
+Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator
+Normal rank
@@ Property / cites work @@
+Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
+Normal rank
@@ Property / cites work @@
+Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
+Normal rank
@@ Property / cites work @@
+A proof of Jones' conjecture
@@ Property / cites work: A proof of Jones' conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Wright's conjecture
@@ Property / cites work: A proof of Wright's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904857
@@ Property / cites work: Q4904857 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast polynomial multiplication and convolutions related to the discrete cosine transform
+Normal rank
@@ Property / cites work @@
+Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
+Normal rank
@@ Property / cites work @@
+Computational fixed-point theory for differential delay equations with multiple time lags
+Normal rank
@@ Property / cites work @@
+Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
+Normal rank
@@ Property / cites work @@
+A general method for computer-assisted proofs of periodic solutions in delay differential problems
+Normal rank
@@ Property / cites work @@
+Chebyshev interpolation polynomial-based tools for rigorous computing
+Normal rank
@@ Property / cites work @@
+Rigorous uniform approximation of D-finite functions using Chebyshev expansions
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
+Normal rank
@@ Property / cites work @@
+Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for ODEs using Chebyshev series and domain decomposition
+Normal rank
@@ Property / cites work @@
+Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
+Normal rank
@@ Property / cites work @@
+Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+Q4011809
@@ Property / cites work: Q4011809 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
+Normal rank
@@ Property / cites work @@
+Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
+Normal rank
@@ Property / cites work @@
+Non-symmetric low-index solutions for a symmetric boundary value problem
+Normal rank
@@ Property / cites work @@
+Spontaneous periodic orbits in the Navier-Stokes flow
+Normal rank
@@ Property / cites work @@
+Periodic solutions of analytic functional differential equations are analytic
+Normal rank
@@ Property / cites work @@
+Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
+Normal rank
@@ Property / cites work @@
+Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs for radially symmetric solutions of PDEs
+Normal rank
@@ Property / cites work @@
+Automatic differentiation for Fourier series and the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+Chebfun: A New Kind of Numerical Computing
@@ Property / cites work: Chebfun: A New Kind of Numerical Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Oscillation and Chaos in Physiological Control Systems
+Normal rank