On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature

Chen, Chin-Yun

doi:10.1007/s00211-012-0471-y

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

Publication Types

Select...

Article1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, the framework is instantiated with Taylor model based quadrature methods: Although other methods allow computing certified quadrature (e.g. [3][4][5]), Taylor models are efficient and have good asymptotical convergence properties. Experiments on standard benchmarks from the literature [6][7][8][9] are presented in Section 6 to support this convergence analysis.…”

Section: Introductionmentioning

confidence: 99%

Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities

Goldsztejn

Cruz

Carvalho

2014

Journal of Computational and Applied Mathematics

View full text Add to dashboard Cite

a b s t r a c tThis paper investigates the sufficient conditions for the asymptotic convergence of a generic branch and prune algorithm dedicated to the verified quadrature of a function in several variables. Quadrature over domains defined by inequalities, and adaptive meshing strategies are in the scope of this analysis. The framework is instantiated using certified quadrature methods based on Taylor models (i.e. Taylor approximations with rigorously bounded remainder), and reported experiments confirmed the analysis. They also show that the performances of the instantiated algorithm are comparable with current methods for certified quadrature.

show abstract