Number of the records: 1
Verified Singular Value Decomposition
- 1.
SYSNO ASEP 0370810 Document Type V - Research Report R&D Document Type The record was not marked in the RIV Title Verified Singular Value Decomposition Author(s) Rohn, Jiří (UIVT-O) SAI, RID, ORCID Issue data Prague: ICS AS CR, 2012 Series Technical Report Series number V-1144 Number of pages 4 s. Language eng - English Country CZ - Czech Republic Keywords singular value decomposition ; 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