A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof

Robert Szczelina; Piotr Zgliczyński

doi:10.1137/120901271

A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof

SIAM Journal on Applied Dynamical Systems ◽

10.1137/120901271 ◽

2013 ◽

Vol 12 (3) ◽

pp. 1541-1565 ◽

Cited By ~ 8

Author(s):

Robert Szczelina ◽

Piotr Zgliczyński

Keyword(s):

Homoclinic Orbit ◽

Computer Assisted ◽

Computer Assisted Proof ◽

Singular Ode

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

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 ◽

Coupled Maps

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 13

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 ◽

Cited By ~ 15

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 ◽

Cited By ~ 45

Author(s):

Konstantin Mischaikow ◽

Marian Mrozek

Keyword(s):

Computer Assisted ◽

Lorenz Equations ◽

Computer Assisted Proof

Download Full-text

A computer-assisted proof for photonic band gaps

Zeitschrift für angewandte Mathematik und Physik ◽

10.1007/s00033-008-8021-2 ◽

2009 ◽

Vol 60 (6) ◽

pp. 1035-1052 ◽

Cited By ~ 14

Author(s):

Vu Hoang ◽

Michael Plum ◽

Christian Wieners

Keyword(s):

Band Gaps ◽

Computer Assisted ◽

Photonic Band Gaps ◽

Computer Assisted Proof ◽

Photonic Band

Download Full-text