verified computations
Recently Published Documents

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

Export Citation Format

Share Document