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

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

1 2 next

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

1 2 next