Search results
From MaRDI portal
- problem -- a computer-assisted proof 2003-08-17 Paper Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof 2003-01-05...10 bytes (17 words) - 17:44, 8 December 2023
- Michelson System: A Computer Assisted Proof 2005-10-28 Paper Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. 2003-11-19 Paper Heteroclinic...10 bytes (16 words) - 09:17, 7 October 2023
- 2010-09-30 Paper Computer-assisted proofs for semilinear elliptic boundary value problems 2010-02-25 Paper A computer-assisted proof for photonic band...10 bytes (17 words) - 13:00, 8 December 2023
- equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation 2018-11-14 Paper A computer assisted proof of multiple periodic...10 bytes (17 words) - 17:16, 24 September 2023
- families of (un)stable manifolds with rigorous computer assisted error bounds 2014-11-27 Paper Computer assisted proof of transverse saddle-to-saddle connecting...10 bytes (20 words) - 23:42, 10 December 2023
- Contractibility of a persistence map preimage 2021-01-26 Paper Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki...10 bytes (16 words) - 19:27, 6 October 2023
- system: a computer-assisted proof 2018-03-12 Paper Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof 2018-01-11...10 bytes (16 words) - 01:01, 25 September 2023
- equations: A computer assisted proof. Part II: Details 1998-06-14 Paper Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof...10 bytes (16 words) - 10:48, 8 December 2023
- 2022-03-23 Paper Computer assisted proof of drift orbits along normally hyperbolic manifolds 2021-12-13 Paper Computer assisted proofs of two-dimensional...10 bytes (18 words) - 13:36, 7 October 2023
- global stability of a peer-to-peer network model 2012-08-17 Paper A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler...10 bytes (16 words) - 08:53, 6 October 2023
- Publication Date of Publication Type Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem 2023-11-15 Paper...10 bytes (16 words) - 21:44, 24 September 2023
- Publication Date of Publication Type A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem 2012-12-17 Paper A uniqueness...10 bytes (16 words) - 21:15, 22 September 2023
- 2021-07-09 Paper A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map 2021-03-10 Paper A computer-assisted proof of symbolic...10 bytes (16 words) - 16:34, 6 October 2023
- Paper Bifurcation problems for equations of fluid dynamics and computer assisted proof 2000-11-13 Paper https://portal.mardi4nfdi.de/entity/Q4937927 2000-02-20...10 bytes (16 words) - 23:12, 12 December 2023
- HORSESHOE-TYPE CHAOS BY COMPUTER 2008-05-28 Paper https://portal.mardi4nfdi.de/entity/Q5422516 2007-10-26 Paper Towards a computer-assisted proof for chaos in a...10 bytes (16 words) - 18:50, 6 October 2023
- Publication Type Reality of chaos in the double scroll circuit: A computer-assisted proof 1988-01-01 Paper...10 bytes (16 words) - 20:02, 26 December 2023
- Publication Date of Publication Type Computer-assisted proof of a periodic solution in a nonlinear feedback DDE 2009-11-27 Paper...10 bytes (16 words) - 21:30, 22 September 2023
- periodic solutions for delay equations with positive feedback -- a computer-assisted proof 2006-03-29 Paper...10 bytes (16 words) - 10:51, 24 September 2023
- Publication Type Bifurcation problems for equations of fluid dynamics and computer assisted proof 2000-11-13 Paper...10 bytes (16 words) - 16:13, 24 September 2023
- nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof 2017-11-24 Paper...10 bytes (16 words) - 12:27, 14 March 2024
