The following pages link to Shinya Miyajima (Q389545):
Displaying 41 items.
- Fast enclosure for solutions of Sylvester equations (Q389546) (← links)
- Fast enclosure for solutions of generalized Sylvester equations (Q403840) (← links)
- A sharp error bound of the approximate solutions for saddle point linear systems (Q464634) (← links)
- Fast enclosure for a matrix inverse square root (Q477751) (← links)
- Fast verified computation for solutions of continuous-time algebraic Riccati equations (Q495857) (← links)
- Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations (Q515787) (← links)
- Numerical enclosure for each eigenvalue in generalized eigenvalue problem (Q765307) (← links)
- Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← links)
- Fast enclosure for all eigenvalues in generalized eigenvalue problems (Q848556) (← links)
- Existence test for solution of nonlinear systems applying affine arithmetic (Q861890) (← links)
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- Fast enclosure for solutions in underdetermined systems (Q989149) (← links)
- Fast verified computation for the matrix principal \(p\)th root (Q1675959) (← links)
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation (Q1713151) (← links)
- Verified solutions of delay eigenvalue problems (Q1735394) (← links)
- Fast verified computation for the solution of the T-congruence Sylvester equation (Q1756718) (← links)
- Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation (Q1993448) (← links)
- Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations (Q2009471) (← links)
- Verified computation for the geometric mean of two matrices (Q2024609) (← links)
- Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors (Q2074874) (← links)
- Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation (Q2163587) (← links)
- Enclosing Moore-Penrose inverses (Q2174195) (← links)
- Verified bounds for all the singular values of matrix (Q2257612) (← links)
- Verified computation for the matrix Lambert \(W\) function (Q2286071) (← links)
- Verified computation for the matrix principal logarithm (Q2418976) (← links)
- Componentwise enclosure for solutions of least squares problems and underdetermined systems (Q2442244) (← links)
- Verified computation of the matrix exponential (Q2631982) (← links)
- Verified computation of real powers of matrices (Q2656092) (← links)
- Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems (Q2936594) (← links)
- (Q3084845) (← links)
- (Q3307861) (← links)
- Fast enclosure for the minimum norm least squares solution of the matrix equation <i>A</i><i>X</i><i>B</i> = <i>C</i> (Q3466254) (← links)
- (Q4568078) (← links)
- Fast verified computation for solutions of algebraic Riccati equations arising in transport theory (Q4599014) (← links)
- (Q5003340) (← links)
- Verified computation of matrix gamma function (Q5073022) (← links)
- Large-Scale Scientific Computing (Q5426133) (← links)
- Computer Algebra in Scientific Computing (Q5479246) (← links)
- Numerical Analysis and Its Applications (Q5710605) (← links)
- Fast verified computation for real powers of large matrices with Kronecker structure (Q6106012) (← links)
- Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure (Q6118785) (← links)
