Pages that link to "Item:Q861893"
From MaRDI portal
The following pages link to Principles of verified numerical integration (Q861893):
Displaying 10 items.
- On the Petras algorithm for verified integration of piecewise analytic functions (Q511115) (← links)
- 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)
- New methods for high-dimensional verified quadrature (Q1300081) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Error estimates with explicit constants for sinc approximation, sinc quadrature and sinc indefinite integration (Q1955635) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Some numerical integration methods based on Bernstein polynomials (Q2995516) (← links)
- Adaptive Berechnung von Integraltransformationen mit Fehlerschranken. (Adaptive computation of integral transforms with error bounds) (Q3995675) (← links)
- (Q4801928) (← links)
- A computer assisted proof of the symmetries of least energy nodal solutions on squares (Q5074280) (← links)