Nuprl Definition : reg-seq-mul
reg-seq-mul(x;y) == λn.(((x n) * (y n)) ÷ 2 * n)
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
divide: n ÷ m,
apply: f a,
multiply: n * m,
natural_number: $n
FDL editor aliases :
reg-seq-mul
Latex:
reg-seq-mul(x;y) == \mlambda{}n.(((x n) * (y n)) \mdiv{} 2 * n)
Date html generated:
2016_05_18-AM-06_48_52
Last ObjectModification:
2015_09_23-AM-09_00_42
Theory : reals
Home
Index