0361331 - ÚI 2012 CZ eng V - Research Report
Rohn, Jiří
VERSOFT: Guide.
Prague: ICS AS CR, 2011. 6 s. Technical Report, V-1118.
Institutional research plan: CEZ:AV0Z10300504
Keywords : VERSOFT * verification software * guide
Subject RIV: BA - General Mathematics
Result website:
http://uivtx.cs.cas.cz/~rohn/matlab http://uivtx.cs.cas.cz/~rohn/matlab/others/index.html

Cited: 14

--- FROMMER, A. - HASHEMI, B. Verified error bounds for solutions of Sylvester matrix equations. LINEAR ALGEBRA AND ITS APPLICATIONS. ISSN 0024-3795, JAN 15 2012, vol. 436, no. 2, SI, p. 405-420. [WOS]
--- MIYAJIMA, S. Fast enclosure for solutions in underdetermined systems. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS. ISSN 0377-0427, OCT 15 2010, vol. 234, no. 12, p. 3436-3444. [WOS]
--- HASHEMI, B. - DEHGHAN, M. EFFICIENT COMPUTATION OF ENCLOSURES FOR THE EXACT SOLVENTS OF A QUADRATIC MATRIX EQUATION. ELECTRONIC JOURNAL OF LINEAR ALGEBRA. ISSN 1537-9582, AUG 2010, vol. 20, p. 519-536. [WOS]
--- RUMP, S.M. Verification methods: Rigorous results using floating-point arithmetic. ACTA NUMERICA 2010, VOL 19. ISSN 0962-4929, 2010, vol. 19, p. 287-449. [WOS]
--- FROMMER, A. - HASHEMI, B. VERIFIED COMPUTATION OF SQUARE ROOTS OF A MATRIX. SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS. ISSN 0895-4798, 2009, vol. 31, no. 3, p. 1279-1302. [WOS]
--- CYRANKA, J. - ISLAM, M.A. - BYRNE, G. - JONES, P. - SMOLKA, S.A. - GROSU, R. Lagrangian Reachabililty. COMPUTER AIDED VERIFICATION, CAV 2017, PT I. ISSN 0302-9743, 2017, vol. 10426, p. 379-400. [WOS]
--- MIYAJIMA, S. Verified computation for the matrix Lambert W function. APPLIED MATHEMATICS AND COMPUTATION. ISSN 0096-3003, DEC 1 2019, vol. 362. [WOS]
--- DEHGHANI-MADISEH, M. - HLADIK, M. Enclosing the solution set of the parametric generalised Sylvester matrix equation A(p)XB(p) plus C(p)XD(p) = F(p). INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE. ISSN 0020-7721, AUG 18 2019, vol. 50, no. 11, p. 2153-2167. [WOS]
--- MIYAJIMA, S. Verified computation for the matrix principal logarithm. LINEAR ALGEBRA AND ITS APPLICATIONS. ISSN 0024-3795, MAY 15 2019, vol. 569, p. 38-61. [WOS]
--- MIYAJIMA, S. Verified computation of the matrix exponential. ADVANCES IN COMPUTATIONAL MATHEMATICS. ISSN 1019-7168, FEB 2019, vol. 45, no. 1, p. 137-152. [WOS]
--- MIYAJIMA, S. Fast verified computation for the solution of the T-congruence Sylvester equation. JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS. ISSN 0916-7005, JUL 2018, vol. 35, no. 2, p. 541-551. [WOS]
--- DEHGHANI-MADISEH, M. - HLADIK, M. Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations. APPLIED NUMERICAL MATHEMATICS. ISSN 0168-9274, APR 2018, vol. 126, p. 18-33. [WOS]
--- KRAL, O. - HLADIK, M. Parallel Computing of Linear Systems with Linearly Dependent Intervals in MATLAB. PARALLEL PROCESSING AND APPLIED MATHEMATICS (PPAM 2017), PT II. ISSN 0302-9743, 2018, vol. 10778, p. 391-401. [WOS]
--- HLADIK, M. Positive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix. CONSTRAINT PROGRAMMING AND DECISION MAKING: THEORY AND APPLICATIONS. ISSN 2198-4182, 2018, vol. 100, p. 77-88. [WOS]
Permanent Link: http://hdl.handle.net/11104/0198669