Validated constructive error estimations for biharmonic problems

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

    Research output: Contribution to journalArticlepeer-review


    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

    All Science Journal Classification (ASJC) codes

    • Software
    • Computational Mathematics
    • Applied Mathematics


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

    Cite this