Search results
From MaRDI portal
- problems 2022-05-06 Paper Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE 2022-02-16 Paper Rigorous numerics for ODEs using Chebyshev...10 bytes (22 words) - 18:02, 8 December 2023
- fields 2014-07-03 Paper Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series 2014-05-19 Paper Rigorous Numerics in Floquet Theory:...10 bytes (18 words) - 01:01, 25 September 2023
- 2020-12-18 Paper Numerical validation of blow-up solutions with quasi-homogeneous compactifications 2020-07-07 Paper Rigorous numerics of blow-up solutions...10 bytes (16 words) - 13:07, 6 October 2023
- differential equations: formalism, implementation and rigorous validation 2018-12-11 Paper Validated numerics for equilibria of analytic vector fields: Invariant...10 bytes (20 words) - 23:42, 10 December 2023
- proof 2018-03-12 Paper Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation 2018-03-08 Paper Rigorous computation of non-uniform...10 bytes (16 words) - 11:07, 7 October 2023
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system 2013-12-05 Paper...10 bytes (16 words) - 17:09, 11 December 2023
- infinite dimensions with applications to the Cima system 2018-11-06 Paper Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation 2018-03-08...10 bytes (18 words) - 03:09, 25 September 2023
- Publication Date of Publication Type Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series 2015-09-09...10 bytes (16 words) - 09:30, 6 October 2023
- Paper A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems 2005-02-28 Paper Rigorous Numerics for Global...10 bytes (18 words) - 13:39, 13 December 2023
- 2020-04-21 Paper Rigorous study of the equilibria of collision kernels appearing in the theory of weak turbulence 2020-02-18 Paper Rigorous validation of...10 bytes (16 words) - 01:01, 25 September 2023
- Publication Date of Publication Type Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos...10 bytes (22 words) - 16:40, 28 December 2023
- Paper Stormer-Numerov HDG methods for acoustic waves 2018-06-01 Paper Rigorous numerics for analytic solutions of differential equations: the radii polynomial...10 bytes (16 words) - 14:21, 28 January 2024
- Paper A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems 2005-02-28 Paper Rigorous Numerics for Global...10 bytes (17 words) - 10:48, 8 December 2023
- 2021-02-16 Paper Numerical validation of blow-up solutions with quasi-homogeneous compactifications 2020-07-07 Paper Rigorous numerics of blow-up solutions...10 bytes (16 words) - 07:33, 7 October 2023
- Computer Assisted Proof 2014-01-22 Paper Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs 2011-11-23...10 bytes (17 words) - 17:44, 8 December 2023
- Publication Date of Publication Type Rigorous numerics for ODEs using Chebyshev series and domain decomposition 2021-09-10 Paper Validated computations...10 bytes (16 words) - 22:35, 24 September 2023
- ``Global KAM theorem and geometric measure estimates 2021-10-20 Paper Rigorous numerics for critical orbits in the quadratic family 2020-11-02 Paper A KAM...10 bytes (18 words) - 03:13, 25 September 2023
- saddle-to-saddle connecting orbits for first order vector fields 2014-07-03 Paper Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series 2014-05-19...10 bytes (16 words) - 14:52, 6 October 2023
- Publication Date of Publication Type Rigorous numerics for critical orbits in the quadratic family 2020-11-02 Paper Uniform Expansivity Outside a Critical...10 bytes (16 words) - 10:04, 7 October 2023
- Publication Date of Publication Type Rigorous numerics for the Cahn-Hilliard equation on the unit square 2008-10-20 Paper Two-phase equilibria in the anti-plane...10 bytes (16 words) - 05:51, 7 October 2023
