Pages that link to "Item:Q1779571"
From MaRDI portal
The following pages link to Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571):
Displayed 18 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (Q332777) (← links)
- Solving set-valued constraint satisfaction problems (Q411438) (← links)
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- A validated real function calculus (Q1949769) (← links)
- Quantum computing as a particular case of computing with tensors (Q1979850) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- A new hybrid uncertainty optimization method for structures using orthogonal series expansion (Q2290138) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Computing Capture Tubes (Q2803603) (← links)
- An efficient approach to solve very large dense linear systems with verified computing on clusters (Q2948101) (← links)
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions (Q2952325) (← links)
- Computing Reachable Sets of Differential Inclusions (Q4560621) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty (Q6132382) (← links)