Number of the records: 1

VERSOFT: Examples

SYSNO	0361332
Title	VERSOFT: Examples
Author info	aut. Jiří Rohn
Author(s)	Rohn, Jiří (UIVT-O)_{SAI, RID, ORCID}
Issue data	Prague: ICS AS CR, 2011
Edition	Technical Report , V-1119
Document Type	Výzkumná zpráva
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	CZ
Keywords	verification * basis * rank * RREF * pseudoinverse * SVD * QR * determinant * spectral decomposition * Cholesky decomposition * positive definiteness * matrix function * linear equations * linear programming
URL	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

	File	Download	Size	Commentary	Version	Access
	v1119-11.pdf	15	155.1 KB		Other	open-access

Number of the records: 1