Pages that link to "Item:Q5955427"
From MaRDI portal
The following pages link to Verified high-order inversion of functional dependencies and interval Newton methods (Q5955427):
Displaying 7 items.
- Status of the differential transformation method (Q449462) (← links)
- Gravity assist space pruning based on differential algebra (Q642330) (← links)
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571) (← links)
- Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations (Q2019639) (← links)
- An improved interval global optimization algorithm using higher-order inclusion function forms (Q2569148) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124) (← links)
