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
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]
2026-07-09