Continuation of homoclinic orbits in the suspension bridge equation: A computer-assisted proof

Journal of Differential Equations ◽

10.1016/j.jde.2017.11.011 ◽

2018 ◽

Vol 264 (5) ◽

pp. 3086-3130 ◽

Author(s):

Jan Bouwe van den Berg ◽

Maxime Breden ◽

Jean-Philippe Lessard ◽

Maxime Murray

Keyword(s):

Suspension Bridge ◽

Homoclinic Orbits ◽

Computer Assisted ◽

Computer Assisted Proof

Download Full-text

The Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof

Foundations of Computational Mathematics ◽

10.1007/s10208-005-0201-2 ◽

2006 ◽

Vol 6 (4) ◽

pp. 495-535 ◽

Author(s):

Daniel Wilczak

Keyword(s):

Homoclinic Orbits ◽

Computer Assisted ◽

Computer Assisted Proof ◽

Download Full-text

A computer-assisted proof method of the invertibility to elliptic operators

IEICE Proceeding Series ◽

10.15248/proc.1.816 ◽

2014 ◽

Vol 1 ◽

pp. 816-819

Author(s):

Akitoshi Takayasu ◽

Shin'ichi Oishi

Keyword(s):

Elliptic Operators ◽

Computer Assisted ◽

Computer Assisted Proof

Download Full-text

The Expansion ⋆ mod ō (ℏ4) and Computer-Assisted Proof Schemes in the Kontsevich Deformation Quantization

Experimental Mathematics ◽

10.1080/10586458.2019.1680463 ◽

2019 ◽

pp. 1-54 ◽

Author(s):

R. Buring ◽

A. V. Kiselev

Keyword(s):

Deformation Quantization ◽

Computer Assisted ◽

Proof Schemes ◽

Computer Assisted Proof

Download Full-text

A Computer-Assisted Proof of the Barnette--Goodey Conjecture: Not Only Fullerene Graphs Are Hamiltonian

SIAM Journal on Discrete Mathematics ◽

10.1137/140984737 ◽

2020 ◽

Vol 34 (1) ◽

pp. 62-100 ◽

Author(s):

František Kardoš

Keyword(s):

Computer Assisted ◽

Computer Assisted Proof ◽

Fullerene Graphs

Download Full-text

Computer-Assisted Proof of Loss of Ergodicity by Symmetry Breaking in Expanding Coupled Maps

Annales Henri Poincaré ◽

10.1007/s00023-019-00876-2 ◽

2019 ◽

Vol 21 (2) ◽

pp. 649-674

Author(s):

Bastien Fernandez

Keyword(s):

Symmetry Breaking ◽

Computer Assisted ◽

Computer Assisted Proof ◽

Download Full-text

Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey–Glass Equation

Foundations of Computational Mathematics ◽

10.1007/s10208-017-9369-5 ◽

2017 ◽

Vol 18 (6) ◽

pp. 1299-1332 ◽

Author(s):

Robert Szczelina ◽

Piotr Zgliczyński

Keyword(s):

Differential Equations ◽

Periodic Orbits ◽

Delay Differential Equations ◽

Computer Assisted ◽

Computer Assisted Proof ◽

Delay Differential

Download Full-text

Computer assisted proof of chaos in the Muthuswamy-Chua memristor circuit

Nonlinear Theory and Its Applications IEICE ◽

10.1587/nolta.5.309 ◽

2014 ◽

Vol 5 (3) ◽

pp. 309-319

Author(s):

Zbigniew Galias

Keyword(s):

Computer Assisted ◽

Computer Assisted Proof

Download Full-text

Chaos in the Kuramoto–Sivashinsky equations—a computer-assisted proof

Journal of Differential Equations ◽

10.1016/s0022-0396(03)00104-9 ◽

2003 ◽

Vol 194 (2) ◽

pp. 433-459 ◽

Author(s):

Daniel Wilczak

Keyword(s):

Computer Assisted ◽

Computer Assisted Proof

Download Full-text

A computer-assisted proof of universality for area-preserving maps

Memoirs of the American Mathematical Society ◽

10.1090/memo/0289 ◽

1984 ◽

Vol 47 (289) ◽

pp. 0-0 ◽

Author(s):

J.-P. Eckmann ◽

H. Koch ◽

P. Wittwer

Keyword(s):

Computer Assisted ◽

Computer Assisted Proof ◽

Area Preserving Maps ◽

Area Preserving

Download Full-text

Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

Mathematics of Computation ◽

10.1090/s0025-5718-98-00945-4 ◽

1998 ◽

Vol 67 (223) ◽

pp. 1023-1047 ◽

Author(s):

Konstantin Mischaikow ◽

Marian Mrozek

Keyword(s):

Computer Assisted ◽

Lorenz Equations ◽

Computer Assisted Proof

Download Full-text