0361332 - ÚI 2012 CZ eng V - Research Report
Rohn, Jiří
VERSOFT: Examples.
Prague: ICS AS CR, 2011. 12 s. Technical Report, V-1119.
Institutional research plan: CEZ:AV0Z10300504
Keywords : verification * basis * rank * RREF * pseudoinverse * SVD * QR * determinant * spectral decomposition * Cholesky decomposition * positive definiteness * matrix function * linear equations * linear programming
Subject RIV: BA - General Mathematics
Result website:
http://uivtx.cs.cas.cz/~rohn/matlab/index.html http://uivtx.cs.cas.cz/~rohn/matlab/others/index.html
Permanent Link: http://hdl.handle.net/11104/0198670