Nuprl Definition : poly-deriv
poly-deriv(a) == λi.(r(i + 1) * (a (i + 1)))
Definitions occuring in Statement :
rmul: a * b,
int-to-real: r(n),
apply: f a,
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
rmul: a * b,
int-to-real: r(n),
apply: f a,
add: n + m,
natural_number: $n
FDL editor aliases :
poly-deriv
Latex:
poly-deriv(a) == \mlambda{}i.(r(i + 1) * (a (i + 1)))
Date html generated:
2016_05_18-AM-10_07_52
Last ObjectModification:
2015_09_23-AM-09_14_45
Theory : reals
Home
Index