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

Quelle  pvs-attachments   Sprache: unbekannt

 
(defattach |ln_exp.ln| (x) "Natural logarithm" (log x))

(defattach |ln_exp.exp| (x) "Exponential" (exp x)) 

[ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet)  ]