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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 27 articles )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Miyajima, Shinya: Verified computation of matrix gamma function (2022)
  2. Hartman, David; Hladík, Milan; Říha, David: Computing the spectral decomposition of interval matrices and a study on interval matrix powers (2021)
  3. Miyajima, Shinya: Computing enclosures for the matrix Mittag-Leffler function (2021)
  4. Miyajima, Shinya: Verified computation of real powers of matrices (2021)
  5. Frommer, Andreas; Hashemi, Behnam: Computing enclosures for the matrix exponential (2020)
  6. Miyajima, Shinya: Enclosing Moore-Penrose inverses (2020)
  7. 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)
  8. Miyajima, Shinya: Verified computation for the matrix principal logarithm (2019)
  9. Miyajima, Shinya: Verified computation for the matrix Lambert (W) function (2019)
  10. Miyajima, Shinya: Verified computation of the matrix exponential (2019)
  11. Dehghani-Madiseh, Marzieh; Hladík, Milan: Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (2018)
  12. Miyajima, Shinya: Fast verified computation for the solution of the T-congruence Sylvester equation (2018)
  13. Hladík, Milan: On relation between P-matrices and regularity of interval matrices (2017)
  14. Miyajima, Shinya: Fast enclosure for the minimum norm least squares solution of the matrix equation (AXB=C). (2015)
  15. Miyajima, Shinya: Fast enclosure for solutions of generalized Sylvester equations (2014)
  16. Miyajima, Shinya: Verified bounds for all the singular values of matrix (2014)
  17. Miyajima, Shinya: Componentwise enclosure for solutions of least squares problems and underdetermined systems (2014)
  18. Rohn, Jiri: Verification of linear (in)dependence in finite precision arithmetic (2014)
  19. Černý, Michal; Antoch, Jaromír; Hladík, Milan: On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data (2013)
  20. Hladík, Milan: Weak and strong solvability of interval linear systems of equations and inequalities (2013)

1 2 next