The following pages link to (Q3999735):
Displaying 31 items.
- PASCAL-XSC (Q30694) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices (Q686058) (← links)
- On computer-assisted proofs for solutions of linear complementarity problems (Q861881) (← links)
- Interval enclosures for a certain class of multiple integrals (Q1294367) (← links)
- An improvement of Gargantini's simultaneous inclusion method for polynomial roots by Schröder's correction (Q1319612) (← links)
- Precise evaluation of a polynomial at a point given in staggered correction format (Q1334785) (← links)
- Implicit matrix multiplication with maximum accuracy on various transputer networks (Q1340871) (← links)
- A test environment using symbolic program trace (Q1340875) (← links)
- A circuit for exact summation of floating-point numbers (Q1351592) (← links)
- Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution (Q1365540) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Self-validating integration and approximation of piecewise analytic functions (Q1612410) (← links)
- Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors (Q1872940) (← links)
- Aspects for a block version of the interval Cholesky algorithm (Q1872971) (← links)
- Simulation of controlled uncertain nonlinear systems (Q1893061) (← links)
- Lower bounds for the \(R\)-order of convergence of simultaneous inclusion methods for polynomial roots and related iteration methods (Q1900748) (← links)
- Experiences with a method for enclosing solutions of systems of equations (Q1900752) (← links)
- Epsilon-inflation in verification algorithms (Q1900758) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- Variable-precision, interval arithmetic coprocessors (Q1916973) (← links)
- Verification of constrained minima (Q1919423) (← links)
- Interval analysis as a tool for sensitivity analysis of a hemopoietic model (Q1923369) (← links)
- On some simultaneous methods based on Weierstrass' correction (Q1923458) (← links)
- Template generation for continuous transfer functions using interval analysis (Q1961201) (← links)
- Uncertainty in GPS networks due to remaining systematic errors: the interval approach (Q2461467) (← links)
- Verified Determination of Singularities in Chemical Processes (Q4577126) (← links)
- Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
- (Q4692484) (← links)
- Acceleration of iteration methods for interval fixed point problems (Q5929751) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)
