Number of the records: 1

Verified Eigendecomposition

SYSNO ASEP	0370809
Document Type	V - Research Report
R&D Document Type	The record was not marked in the RIV
Title	Verified Eigendecomposition
Author(s)	Rohn, Jiří (UIVT-O)_{SAI, RID, ORCID}
Issue data	Prague: ICS AS CR, 2012
Series	Technical Report
Series number	V-1143
Number of pages	5 s.
Language	eng - English
Country	CZ - Czech Republic
Keywords	eigenvalue ; eigenvector ; verified result ; interval arithmetic
Subject RIV	BA - General Mathematics
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2012

Number of the records: 1