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

2013 ◽  
Vol 12 (3) ◽  
pp. 1541-1565 ◽  
Author(s):  
Robert Szczelina ◽  
Piotr Zgliczyński
Keyword(s):  
Homoclinic Orbit ◽  
Computer Assisted ◽  
Computer Assisted Proof ◽  
Singular Ode

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

2014 ◽  
Vol 1 ◽  
pp. 816-819
Author(s):  
Akitoshi Takayasu ◽  
Shin'ichi Oishi
Keyword(s):  
Elliptic Operators ◽  
Computer Assisted ◽  
Computer Assisted Proof

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

2014 ◽  
Vol 5 (3) ◽  
pp. 309-319
Author(s):  
Zbigniew Galias
Keyword(s):  
Computer Assisted ◽  
Computer Assisted Proof

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

2003 ◽  
Vol 194 (2) ◽  
pp. 433-459 ◽  
Author(s):  
Daniel Wilczak
Keyword(s):  
Computer Assisted ◽  
Computer Assisted Proof

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

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

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

1998 ◽  
Vol 67 (223) ◽  
pp. 1023-1047 ◽  
Author(s):  
Konstantin Mischaikow ◽  
Marian Mrozek
Keyword(s):  
Computer Assisted ◽  
Lorenz Equations ◽  
Computer Assisted Proof

A computer-assisted proof for photonic band gaps

2009 ◽  
Vol 60 (6) ◽  
pp. 1035-1052 ◽  
Author(s):  
Vu Hoang ◽  
Michael Plum ◽  
Christian Wieners
Keyword(s):  
Band Gaps ◽  
Computer Assisted ◽  
Photonic Band Gaps ◽  
Computer Assisted Proof ◽  
Photonic Band
Sign in / Sign up

Export Citation Format

Share Document