scholarly journals The Expansion ⋆ mod ō (ℏ4) and Computer-Assisted Proof Schemes in the Kontsevich Deformation Quantization

2019 ◽  
pp. 1-54 ◽  
Author(s):  
R. Buring ◽  
A. V. Kiselev
Keyword(s):  
Deformation Quantization ◽  
Computer Assisted ◽  
Proof Schemes ◽  
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