Validated constructive error estimations for biharmonic problems

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle


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.

Original languageEnglish
Pages (from-to)168-177
Number of pages10
JournalReliable Computing
Publication statusPublished - 2017


  • Biharmonic problem
  • Computer-assisted proof
  • Differential operators

ASJC Scopus subject areas

  • Software
  • Computational Mathematics
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Validated constructive error estimations for biharmonic problems'. Together they form a unique fingerprint.

  • Cite this

    Kinoshita, T., Watanabe, Y., & Nakao, M. T. (2017). Validated constructive error estimations for biharmonic problems. Reliable Computing, 25, 168-177.