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

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