ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法

Web Site

Bibliographic Information

Other Title
  • アル ムゲンジゲン コユウチ オ モチイタ ダエンガタヘンビブン ホウテイシキ ノ カイ ノ ソンザイセイ ニ タイスル ケイサンキ エンヨウ ショウメイホウ
  • Computer-assisted existence proof method for solutions of elliptic partial differential equations using an infinite eigenvalue
  • 現象解明に向けた数値解析学の新展開(2)
  • ゲンショウ カイメイ ニ ムケタ スウチ カイセキガク ノ シン テンカイ(2)

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top