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: hyperbolic.prf   Sprache: Unknown

(defattach |sincos_def.sin| (x)  "Sine" (sin x))

(defattach |sincos_def.cos| (x)  "Cosine" (cos x))

(defattach |atan.atan_value| (x) "Arc tangent" (atan x))

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]