Pages that link to "Item:Q1300081"
From MaRDI portal
The following pages link to New methods for high-dimensional verified quadrature (Q1300081):
Displaying 13 items.
- Status of the differential transformation method (Q449462) (← links)
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches (Q476597) (← links)
- Nogood-based asynchronous forward checking algorithms (Q481712) (← 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)
- Principles of verified numerical integration (Q861893) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities (Q2511225) (← links)
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions (Q2952325) (← links)
- Global Smooth Solutions for the Inviscid SQG Equation (Q3299494) (← links)