Pages that link to "Item:Q684249"
From MaRDI portal
The following pages link to Scientific computing with automatic result verification (Q684249):
Displaying 12 items.
- Stabilization of the motion of a nonlinear system with interval initial conditions (Q334884) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- A software interface and hardware design for variable-precision interval arithmetic (Q1904320) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
- Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems (Q2457358) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation (Q4634228) (← links)
- Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic (Q4643619) (← links)
- Comparison of Classical and Alternative Fluid Equations Using Symmetry Methods (Q4847497) (← links)
- Towards an automatic uncertainty compiler (Q6178702) (← links)
