年単位の研究成果
Fingerprint Shinichi Oishiが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。
- 3 同様のプロファイル
Nonlinear equations
Engineering & Materials Science
Numerical Verification
Mathematics
Floating point
Mathematics
Boundary value problems
Engineering & Materials Science
Phase locked loops
Engineering & Materials Science
Matrix multiplication
Mathematics
Two-point Boundary Value Problem
Mathematics
Numerical methods
Engineering & Materials Science
ネットワーク
最近の共同研究。丸をクリックして詳細を確認しましょう。
研究成果 1979 2017
Accurate method of verified computing for solutions of semilinear heat equations
Takayasu, A., Mizuguchi, M., Kubo, T. & Oishi, S., 2017, ： : Reliable Computing. 25, p. 74-99 26 p.研究成果: Article
Semilinear Heat Equation
Computing
Numerical Verification
Analytic Semigroup
Evolution Operator
2
引用
(Scopus)
A method of verified computations for solutions to semilinear parabolic equations using semigroup theory
Mizuguchi, M., Takayasu, A., Kubo, T. & Oishi, S., 2017, ： : SIAM Journal on Numerical Analysis. 55, 2, p. 980-1001 22 p.研究成果: Article
Semigroup Theory
Semilinear Parabolic Equation
Initial-boundary-value Problem
Boundary value problems
Banach Fixed Point Theorem
3
引用
(Scopus)
Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
Mizuguchi, M., Tanaka, K., Sekine, K. & Oishi, S., 2017 1 1, ： : Journal of Inequalities and Applications. 2017, 299.研究成果: Article
Sobolev Embedding
Convex Domain
Bounded Domain
Lipschitz Domains
Extension Operator
10
引用
(Scopus)
Numerical validation of blow-up solutions of ordinary differential equations
Takayasu, A., Matsue, K., Sasaki, T., Tanaka, K., Mizuguchi, M. & Oishi, S., 2017 4 1, ： : Journal of Computational and Applied Mathematics. 314, p. 10-29 20 p.研究成果: Article
Blow-up of Solutions
Lyapunov functions
Ordinary differential equations
Ordinary differential equation
Blow-up Time
4
引用
(Scopus)
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
Mizuguchi, M., Takayasu, A., Kubo, T. & Oishi, S., 2017 5 1, ： : Journal of Computational and Applied Mathematics. 315, p. 1-16 16 p.研究成果: Article
Numerical Verification
Semilinear Parabolic Equation
Theorem
Sufficient Conditions
Numerical Solution