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.
|Number of pages||10|
|Publication status||Published - Jan 1 2017|
All Science Journal Classification (ASJC) codes
- Computational Mathematics
- Applied Mathematics