Pages that link to "Item:Q1348935"

The following pages link to Fast verification of solutions of matrix equations (Q1348935):

Displaying 20 items.

• Fast enclosure for solutions of Sylvester equations (Q389546) (← links)
• Fast interval matrix multiplication (Q451807) (← links)
• A sharp error bound of the approximate solutions for saddle point linear systems (Q464634) (← links)
• An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
• Fast verified solutions of linear systems (Q849174) (← links)
• Direct methods for linear systems with inexact input data (Q849179) (← links)
• Numerical verification methods for spherical \(t\)-designs (Q849181) (← links)
• On verified numerical computations in convex programming (Q849186) (← links)
• Super-fast validated solution of linear systems (Q861871) (← links)
• A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
• Fast enclosure for solutions in underdetermined systems (Q989149) (← links)
• Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation (Q1774292) (← links)
• Modified error bounds for approximate solutions of dense linear systems (Q2293605) (← links)
• A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (Q2408147) (← links)
• Fast algorithms for floating-point interval matrix multiplication (Q2428100) (← links)
• Fast inclusion of interval matrix multiplication (Q2484077) (← links)
• Verified numerical computations for large-scale linear systems. (Q2662465) (← links)
• Convergence of Rump’s method for computing the Moore-Penrose inverse (Q2828821) (← links)
• Tight and efficient enclosure of matrix multiplication by using optimized BLAS (Q2889382) (← links)
• Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems (Q6098955) (← links)