Numerical verification methods for solutions of ordinary and partial differential equations

M. T. Nakao*

*この研究の対応する著者

研究成果: Article査読

63 被引用数 (Scopus)

抄録

In this article, we describe on a state of the art of validated numerical computations for solutions of differential equations. A brief overview of the main techniques for self-validating numerics for initial and boundary value problems in ordinary and partial differential equations including eigenvalue problems will be presented. A fairly detailed introductions are given for the author's own method related to second-order elliptic boundary for the author's own method related to second-order elliptic boundary value problems. Many references which seem to be useful for readers are supplied at the end of the article.

本文言語English
ページ(範囲)321-356
ページ数36
ジャーナルNumerical Functional Analysis and Optimization
22
3-4
DOI
出版ステータスPublished - 2001 5月
外部発表はい

ASJC Scopus subject areas

  • 分析
  • 信号処理
  • コンピュータ サイエンスの応用
  • 制御と最適化

フィンガープリント

「Numerical verification methods for solutions of ordinary and partial differential equations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル