Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/trig_fnd/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 159 B image not shown  

Quelle  pvs-attachments   Sprache: unbekannt

 
(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.2 Sekunden  (vorverarbeitet)  ]