Numerical verification methods for solutions of ordinary and partial differential equations

M. T. Nakao

研究成果: Article査読

55 被引用数 (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

  • Analysis
  • Signal Processing
  • Computer Science Applications
  • Control and Optimization

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

引用スタイル