The following pages link to (Q3878653):
Displaying 38 items.
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- A heuristic verification of the degree of the approximate GCD of two univariate polynomials (Q466858) (← links)
- The exact dot product as basic tool for long interval arithmetic (Q644846) (← links)
- Very fast and exact accumulation of products (Q644853) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Interval algorithm for absolute value equations (Q657417) (← links)
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces (Q684197) (← links)
- Verified error bounds for singular solutions of nonlinear systems (Q747729) (← links)
- An interval algorithm for solving systems of linear equations to prespecified accuracy (Q760758) (← links)
- Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side (Q806948) (← links)
- On the fast solution of Toeplitz-block linear systems arising in multivariate approximation theory (Q857855) (← links)
- Super-fast validated solution of linear systems (Q861871) (← links)
- E-methods for fixed point equations f(x)=x (Q1158928) (← links)
- Die Auflösbarkeit linearer Kreisscheiben- und Intervall-Gleichungssysteme (Q1163334) (← links)
- Solving nonlinear systems with least significant bit accuracy (Q1164379) (← links)
- Estimation of the sensitivity of linear and nonlinear algebraic problems (Q1175272) (← links)
- On the solution of interval linear systems (Q1184703) (← links)
- On proving existence of feasible points in equality constrained optimization problems (Q1290652) (← links)
- Precise numerical computation (Q1779570) (← links)
- Highly accurate verified error bounds for Krylov type linear system solvers (Q1873165) (← 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)
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems (Q1919127) (← links)
- Epsilon-inflation with contractive interval functions (Q1979002) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Improved componentwise verified error bounds for least squares problems and underdetermined linear systems (Q2249828) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Towards optimal use of multi-precision arithmetic: a remark (Q2503178) (← links)
- Verified numerical computations for large-scale linear systems. (Q2662465) (← links)
- Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
- Rigorous solution of linear programming problems with uncertain data (Q4713478) (← links)
- Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix (Q5057775) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)
