Nuprl Definition : power-sum

Σi<n.a[i]*x^i ==  Σ(a[i] * x^i | i < n)


Definitions occuring in Statement :  exp: i^n,  sum: Σ(f[x] | x < k),  multiply: n * m
Definitions occuring in definition :  sum: Σ(f[x] | x < k),  multiply: n * m,  exp: i^n
FDL editor aliases :  power-sum power-sum
Latex:
\mSigma{}i<n.a[i]*x\^{}i  ==    \mSigma{}(a[i]  *  x\^{}i  |  i  <  n)


Date html generated: 2016_05_15-PM-06_26_54
Last ObjectModification: 2015_09_23-AM-08_03_19

Theory : general


Home Index