Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains von Mizuguchi, Makoto, Tanaka, Kazuaki, Sekine, Kouta, Oishi, Shin’ichi

Volltext

Verified Computations for Hyperbolic 3-Manifolds von Hoffman, Neil, Ichihara, Kazuhiro, Kashiwagi, Masahide, Masai, Hidetoshi, Oishi, Shin'ichi, Takayasu, Akitoshi

Volltext

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations von Mizuguchi, Makoto, Takayasu, Akitoshi, Kubo, Takayuki, Oishi, Shin'ichi

Volltext

Numerical validation of blow-up solutions of ordinary differential equations von Takayasu, Akitoshi, Matsue, Kaname, Sasaki, Takiko, Tanaka, Kazuaki, Mizuguchi, Makoto, Oishi, Shin’ichi

Volltext

Rigorous numerical inclusion of the blow-up time for the Fujita-type equation von Mizuguchi, Makoto, Sekine, Kouta, Hashimoto, Kouji, Nakao, Mitsuhiro T., Oishi, Shin’ichi

Volltext

Sharp numerical inclusion of the best constant for embedding H01(Ω)↪Lp(Ω) on bounded convex domain von Tanaka, Kazuaki, Sekine, Kouta, Mizuguchi, Makoto, Oishi, Shin’ichi

Volltext

A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems von Sekine, Kouta, Nakao, Mitsuhiro T., Oishi, Shin'ichi, Kashiwagi, Masahide

Volltext

Modified error bounds for approximate solutions of dense linear systems von Minamihata, Atsushi, Ogita, Takeshi, Rump, Siegfried M., Oishi, Shin’ichi

Volltext

Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations von Liu, Xuefeng, Nakao, Mitsuhiro T., You, Chun’guang, Oishi, Shin’ichi

Volltext

Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method von Matsushima, Yuta, Tanaka, Kazuaki, Oishi, Shin’ichi

Volltext

Characteristic Spaces Emerging from Primitive Chaos von Ogasawara, Yoshihito, Oishi, Shin’ichi

Volltext

Accurate Floating-Point Summation Part I: Faithful Rounding von Rump, Siegfried M., Ogita, Takeshi, Oishi, Shin'ichi

Volltext

Numerical inclusion of exact periodic solutions for time delay Duffing equation von Oishi, Shin’ichi

Volltext

Accurate sum and dot product von OGITA, Takeshi, RUMP, Siegfried M, OISHI, Shinichi

Volltext

Lower bounds for the smallest singular values of generalized asymptotic diagonal dominant matrices von Oishi, Shin’ichi

Volltext

A METHOD OF VERIFIED COMPUTATIONS FOR SOLUTIONS TO SEMILINEAR PARABOLIC EQUATIONS USING SEMIGROUP THEORY von MIZUGUCHI, MAKOTO, TAKAYASU, AKITOSHI, KUBO, TAKAYUKI, OISHI, SHIN'ICHI

Volltext

Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape von Liu, Xuefeng, Oishi, Shin'ichi

Volltext

Improvement of error-free splitting for accurate matrix multiplication von Ozaki, Katsuhisa, Ogita, Takeshi, Oishi, Shin’ichi

Volltext

A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems von Kobayashi, Ryo, Kimura, Takuma, Oishi, Shin’ichi

Volltext

Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors von Graillat, Stef, Lauter, Christoph Q., Peter Tang, Ping Tak, Yamanaka, Naoya, Oishi, Shin’ichi

Volltext