scholarly journals Verified computations for closed hyperbolic 3‐manifolds

2020 ◽  
Author(s):  
Matthias Goerner
Keyword(s):  
Verified Computations

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

1997 ◽  
Vol 28 (3) ◽  
pp. 577-587 ◽  
Author(s):  
Yoshitaka Watanabe ◽  
Nobito Yamamoto ◽  
Mitsuhiro T. Nakao
Keyword(s):  
Elliptic Equations ◽  
Mhd Equilibria ◽  
Verified Computations

Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces

2014 ◽  
Vol 52 (2) ◽  
pp. 975-992 ◽  
Author(s):  
Yoshitaka Watanabe ◽  
Kaori Nagatou ◽  
Michael Plum ◽  
Mitsuhiro T. Nakao
Keyword(s):  
Hilbert Spaces ◽  
Eigenvalue Problems ◽  
Verified Computations

On Verified Computations of the Optimal Constant in the a Priori Error Estimates for H[sub 0][sup 2]-Projection

2009 ◽  
Author(s):  
Mitsuhiro T. Nakao ◽  
Takehiko Kinoshita ◽  
Theodore E. Simos ◽  
George Psihoyios ◽  
Ch. Tsitouras
Keyword(s):  
Error Estimates ◽  
A Priori ◽  
A Priori Error Estimates ◽  
Optimal Constant ◽  
Verified Computations ◽  
Priori Error Estimates

scholarly journals Verified Computations for Hyperbolic 3-Manifolds

2015 ◽  
Vol 25 (1) ◽  
pp. 66-78 ◽  
Author(s):  
Neil Hoffman ◽  
Kazuhiro Ichihara ◽  
Masahide Kashiwagi ◽  
Hidetoshi Masai ◽  
Shin’ichi Oishi ◽  
...  
Keyword(s):  
Verified Computations
Sign in / Sign up

Export Citation Format

Share Document