Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/trig/   (PVS Prover Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 202 B image not shown  

Quellcode-Bibliothek pvs-attachments   Sprache: unbekannt

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

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

(defattach |trig_basic.pi| () "Number π" pi)

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



[0.12QuellennavigatorsProjekt 2026-06-15]