• 921 引用
  • 12 h指数
1979 …2017
Pureに変更を加えた場合、すぐここに表示されます。

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

  • 921 引用
  • 12 h指数
  • 98 Article
  • 17 Conference contribution
  • 3 Chapter

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)
Semigroup Theory
Semilinear Parabolic Equation
Initial-boundary-value Problem
Boundary value problems
Banach Fixed Point Theorem
3 引用 (Scopus)
Sobolev Embedding
Convex Domain
Bounded Domain
Lipschitz Domains
Extension Operator
10 引用 (Scopus)
Blow-up of Solutions
Lyapunov functions
Ordinary differential equations
Ordinary differential equation
Blow-up Time
4 引用 (Scopus)
Numerical Verification
Semilinear Parabolic Equation
Theorem
Sufficient Conditions
Numerical Solution