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 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

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

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
Sign in / Sign up

Export Citation Format

Share Document