Počet záznamů: 1  

VERSOFT: Examples

  1. 1.
    0361332 - ÚI 2012 CZ eng V - Výzkumná zpráva
    Rohn, Jiří
    VERSOFT: Examples.
    Prague: ICS AS CR, 2011. 12 s. Technical Report, V-1119.
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: verification * basis * rank * RREF * pseudoinverse * SVD * QR * determinant * spectral decomposition * Cholesky decomposition * positive definiteness * matrix function * linear equations * linear programming
    Kód oboru RIV: BA - Obecná matematika
    http://uivtx.cs.cas.cz/~rohn/matlab/index.html http://uivtx.cs.cas.cz/~rohn/matlab/others/index.html
    Trvalý link: http://hdl.handle.net/11104/0198670

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1119-11.pdf15155.1 KBJinápovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.