[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

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

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

  • 数理解析研究所講究録

    数理解析研究所講究録 (2037), 96-105, 2017-07

    Research Institute for Mathematical Sciences, Kyoto University

Details

  • CRID
    1520290885013078784
  • NII Article ID
    120006579085
  • NII Book ID
    AN00061013
  • ISSN
    18802818
  • NDL BIB ID
    028615104
  • Text Lang
    ja
  • NDL Source Classification
    • ZM31(科学技術--数学)
  • Data Source
    • NDL
    • CiNii Articles

Report a problem

Back to top