Shin’ichi Oishi
- Verified eigenvalue evaluation for Laplacian over polygonal domain of arbitrary shape
2012/04/18 by Xuefeng Liu, Liu, Xuefeng, Shin’ichi Oishi +1 · 4 citations
Decision Sciences · Physics and Astronomy · Engineering · #Probabilistic and Robust Engineering Design #Model Reduction and Neural Networks #Numerical methods in engineering
- Verified computations for hyperbolic 3-manifolds
2013/10/12 by Neil Hoffman, Hoffman, Neil, Kazuhiro Ichihara +9 · 3 citations
Computer Science · Mathematics · #57M50 #65G40 #FOS: Mathematics #Geometric Topology (math.GT) #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
2016/09/16 by Makoto Mizuguchi, Kazuaki Tanaka, Mizuguchi, Makoto +5 · 3 citations
Computer Science · Engineering · #Advanced Mathematical Modeling in Engineering #Advanced Numerical Methods in Computational Mathematics #FOS: Mathematics #Functional Analysis (math.FA) #Numerical methods in engineering
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
2020/06/04 by Xuefeng Liu, Mitsuhiro T. Nakao, Liu, Xuefeng +5 · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Numerical Methods and Algorithms #Advanced Numerical Methods in Computational Mathematics #Model Reduction and Neural Networks