抄録
This paper presents some constructive error estimates for two-dimensional biharmonic equations by using verified computational techniques. These estimations are expected to provide valuable information for computer-assisted proofs of nonlinear biharmonic problems. Several numerical examples that confirm the effectiveness are reported.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 168-177 |
| ページ数 | 10 |
| ジャーナル | Reliable Computing |
| 巻 | 25 |
| 出版ステータス | Published - 2017 |
ASJC Scopus subject areas
- ソフトウェア
- 計算数学
- 応用数学