Number of the records: 1
Verified Eigendecomposition
SYS 0370809 LBL 00864^^^^^2200289^^^450 005 20240103200215.1 100 $a 20110418d m y slo 03 ba 101 0-
$a eng 102 $a CZ 200 1-
$a Verified Eigendecomposition $f aut. Jiří Rohn 210 $a Prague $c ICS AS CR $d 2012 215 $a 5 s. 225 1-
$a Technical Report $v V-1143 610 0-
$a eigenvalue 610 0-
$a eigenvector 610 0-
$a verified result 610 0-
$a interval arithmetic 700 -1
$3 cav_un_auth*0100817 $a Rohn $b Jiří $i Oddělení výpočetních metod $j Department of Computational Methods $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1