Spracherkennung für: .dep vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
/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.28 Sekunden
]
