VERSOFT
VERSOFT: Verification software in MATLAB/INTLAB: VERSOFT is a collection of verification files for computing verified solutions of various numerical linear algebraic problems having exact or interval-valued data.
Keywords for this software
References in zbMATH (referenced in 27 articles )
Showing results 1 to 20 of 27.
Sorted by year (- Miyajima, Shinya: Verified computation of matrix gamma function (2022)
- Hartman, David; Hladík, Milan; Říha, David: Computing the spectral decomposition of interval matrices and a study on interval matrix powers (2021)
- Miyajima, Shinya: Computing enclosures for the matrix Mittag-Leffler function (2021)
- Miyajima, Shinya: Verified computation of real powers of matrices (2021)
- Frommer, Andreas; Hashemi, Behnam: Computing enclosures for the matrix exponential (2020)
- Miyajima, Shinya: Enclosing Moore-Penrose inverses (2020)
- Dehghani-Madiseh, Marzieh; Hladík, Milan: Enclosing the solution set of the parametric generalised Sylvester matrix equation (A(p) XB (p) + C(p) XD (p) = F(p)) (2019)
- Miyajima, Shinya: Verified computation for the matrix principal logarithm (2019)
- Miyajima, Shinya: Verified computation for the matrix Lambert (W) function (2019)
- Miyajima, Shinya: Verified computation of the matrix exponential (2019)
- Dehghani-Madiseh, Marzieh; Hladík, Milan: Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (2018)
- Miyajima, Shinya: Fast verified computation for the solution of the T-congruence Sylvester equation (2018)
- Hladík, Milan: On relation between P-matrices and regularity of interval matrices (2017)
- Miyajima, Shinya: Fast enclosure for the minimum norm least squares solution of the matrix equation (AXB=C). (2015)
- Miyajima, Shinya: Fast enclosure for solutions of generalized Sylvester equations (2014)
- Miyajima, Shinya: Verified bounds for all the singular values of matrix (2014)
- Miyajima, Shinya: Componentwise enclosure for solutions of least squares problems and underdetermined systems (2014)
- Rohn, Jiri: Verification of linear (in)dependence in finite precision arithmetic (2014)
- Černý, Michal; Antoch, Jaromír; Hladík, Milan: On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data (2013)
- Hladík, Milan: Weak and strong solvability of interval linear systems of equations and inequalities (2013)