| products/Sources/formale Sprachen/PVS/trig/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 202 B |
|
Quellcode-Bibliothek pvs-attachments Sprache: Lex |
|||||||||
|
(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)) ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
