The following pages link to (Q3139692):
Displaying 4 items.
- On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature (Q695294) (← links)
- Verified computation of Lamé functions with high accuracy (Q1377265) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- Computing interval enclosures for definite integrals by application of triple adaptive strategies (Q2505235) (← links)