Validated constructive error estimations for biharmonic problems

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

研究成果: ジャーナルへの寄稿記事

抄録

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.

元の言語英語
ページ(範囲)168-177
ページ数10
ジャーナルReliable Computing
25
出版物ステータス出版済み - 1 1 2017

Fingerprint

Computer-assisted Proof
Biharmonic Problem
Biharmonic Equation
Computational Techniques
Error Estimation
Error analysis
Nonlinear Problem
Error Estimates
Numerical Examples

All Science Journal Classification (ASJC) codes

  • Software
  • Computational Mathematics
  • Applied Mathematics

これを引用

Validated constructive error estimations for biharmonic problems. / Kinoshita, Takehiko; Watanabe, Yoshitaka; Nakao, Mitsuhiro T.

:: Reliable Computing, 巻 25, 01.01.2017, p. 168-177.

研究成果: ジャーナルへの寄稿記事

Kinoshita, Takehiko ; Watanabe, Yoshitaka ; Nakao, Mitsuhiro T. / Validated constructive error estimations for biharmonic problems. :: Reliable Computing. 2017 ; 巻 25. pp. 168-177.
@article{3b234ba423fb435d8acd56a1607b87b8,
title = "Validated constructive error estimations for biharmonic problems",
abstract = "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.",
author = "Takehiko Kinoshita and Yoshitaka Watanabe and Nakao, {Mitsuhiro T.}",
year = "2017",
month = "1",
day = "1",
language = "English",
volume = "25",
pages = "168--177",
journal = "Reliable Computing",
issn = "1385-3139",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Validated constructive error estimations for biharmonic problems

AU - Kinoshita, Takehiko

AU - Watanabe, Yoshitaka

AU - Nakao, Mitsuhiro T.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85031102320&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85031102320&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85031102320

VL - 25

SP - 168

EP - 177

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

ER -