The following pages link to (Q4003189):
Displaying 24 items.
- PASCAL-XSC (Q30694) (← links)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation (Q688111) (← links)
- A second-order pruning step for verified global optimization (Q839324) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- An interval maximum entropy method for a discrete minimax problem (Q1126620) (← links)
- Rigorous chaos verification in discrete dynamical systems (Q1313331) (← links)
- Global optimization using interval arithmetic (Q1318309) (← links)
- The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation (Q1327438) (← links)
- PROFIL/BIAS - A fast interval library (Q1340873) (← links)
- Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method (Q1340882) (← links)
- The effective condition number applied to error analysis of certain boundary collocation methods (Q1347166) (← links)
- A combined method for enclosing all solutions of nonlinear systems of polynomial equations (Q1899456) (← links)
- Design of a parallel linear algebra library for verified computation (Q1904355) (← links)
- On the selection of subdivision directions in interval branch-and-bound methods for global optimization (Q1904648) (← links)
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization (Q1904721) (← links)
- Errors in vector processing and the library libavi.a (Q1916980) (← links)
- Newton's constant of gravitation and verified numerical quadrature (Q1921291) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- Guaranteed tuning, with application to robust control and motion planning (Q1923056) (← links)
- A continuous location model for siting a non-noxious undesirable facility within a geographical region (Q1969855) (← links)
- Interval mathematical library based on Chebyshev and Taylor series expansion (Q2568643) (← links)
- New Accurate Expressions in C-XSC (Q2954895) (← links)
- Interval Input and Output (Q4577103) (← links)
- Interval Methods for Global Optimization Using the Boxing Method (Q4577116) (← links)
