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

Quelle  complex_alt.dep   Sprache: unbekannt

 
/top,complex_types,polar,complex_lnexp,trig_aux,complex_sqrt,complex_fun_ops
trig/trig_values,trig_ineq,acos,atan2,asin,trig_inverses,trig_basic,atan2_props,atan,atan_values
structures/for_iterate,const_fun_def
reals/real_fun_preds,factorial,binomial,abs_lems,sign,sqrt_exists,root,polynomials,real_fun_ops,real_fun_ops_aux,sigma_upto,sigma_swap,product,sigma,sqrt,sq,sigma_nat
lnexp/hyperbolic,taylor_help,ln_exp
ints/factorial
top:complex_types,polar,complex_lnexp,complex_sqrt,complex_fun_ops
complex_types:reals@sq,reals@sqrt
polar:complex_types,reals@sqrt,trig@atan2,trig@atan2_props
complex_lnexp:polar,trig@trig_ineq,trig_aux,lnexp@hyperbolic
trig_aux:trig@trig_basic
complex_sqrt:polar,trig_aux
complex_fun_ops:polar,structures@const_fun_def,reals@real_fun_ops_aux

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]