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 23 articles )

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

1 2 next

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

1 2 next