products/sources/formale sprachen/PVS/summaries/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: tan_approx.pvs   Sprache: PVS

deriv_sign: THEORY
BEGIN

    IMPORTING deriv_domain, derivatives[nzreal], reals@sign

    sign_derivable: LEMMA FORALL (x: nzreal): derivable?[nzreal](sign,x)

    sign_derivable_fun: LEMMA derivable?[nzreal](sign)
    
    deriv_sign: LEMMA deriv[nzreal](sign) = const_fun(0)

 
END deriv_sign

[ Verzeichnis aufwärts0.0unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]