Nuprl Definition : Moessner
Moessner(r;x;y;h;d;k) == [Moessner-aux(r;x;y;h;d;k)]_Σ(d i | i < k + 1)
Definitions occuring in Statement :
Moessner-aux: Moessner-aux(r;x;y;h;d;k),
fps-slice: [f]_n,
sum: Σ(f[x] | x < k),
apply: f a,
add: n + m,
natural_number: $n
Definitions occuring in definition :
fps-slice: [f]_n,
sum: Σ(f[x] | x < k),
add: n + m,
natural_number: $n,
apply: f a,
Moessner-aux: Moessner-aux(r;x;y;h;d;k)
FDL editor aliases :
Moessner
Latex:
Moessner(r;x;y;h;d;k) == [Moessner-aux(r;x;y;h;d;k)]\_\mSigma{}(d i | i < k + 1)
Date html generated:
2016_05_15-PM-10_01_01
Last ObjectModification:
2015_09_23-AM-08_21_52
Theory : power!series
Home
Index