Pages that link to "Item:Q1840765"
From MaRDI portal
The following pages link to An adaptive numerical integration algorithm with automatic result verification for definite integrals (Q1840765):
Displaying 10 items.
- On the Petras algorithm for verified integration of piecewise analytic functions (Q511115) (← links)
- New methods for high-dimensional verified quadrature (Q1300081) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- A simple, efficient and more reliable scheme for automatic numerical integration (Q1923755) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Computing interval enclosures for definite integrals by application of triple adaptive strategies (Q2505235) (← links)
- Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities (Q2511225) (← links)
- Derivative-based subdivision in multi-dimensional verified Gaussian quadrature (Q2738487) (← links)
- (Q4215159) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
