Chaos in the Lorenz Equations:\\ a Computer-Assisted Proof

Bulletin of the American Mathematical Society ◽

10.1090/s0273-0979-1995-00558-6 ◽

1995 ◽

Vol 32 (1) ◽

pp. 66-73 ◽

Author(s):

Konstantin Mischaikow ◽

Marion Mrozek

Keyword(s):

Computer Assisted ◽

Lorenz Equations ◽

Computer Assisted Proof

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

Computer assisted proof of chaos in the Lorenz equations

Physica D Nonlinear Phenomena ◽

10.1016/s0167-2789(97)00233-9 ◽

1998 ◽

Vol 115 (3-4) ◽

pp. 165-188 ◽

Author(s):

Z. Galias ◽

P. Zgliczyński

Keyword(s):

Computer Assisted ◽

Lorenz Equations ◽

Computer Assisted Proof

Download Full-text

Chaos in the Lorenz Equations: A Computer Assisted Proof Part III: Classical Parameter Values

Journal of Differential Equations ◽

10.1006/jdeq.2000.3894 ◽

2001 ◽

Vol 169 (1) ◽

pp. 17-56 ◽

Author(s):

Konstantin Mischaikow ◽

Marian Mrozek ◽

Andrzej Szymczak

Keyword(s):

Computer Assisted ◽

Lorenz Equations ◽

Computer Assisted Proof ◽

Classical Parameter ◽

Parameter Values

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