Nuprl Definition : blended-real

blended-real(k;x;y) ==  accelerate(3;blend-seq(k;x;y))


Definitions occuring in Statement :  blend-seq: blend-seq(k;x;y),  accelerate: accelerate(k;f),  natural_number: $n
Definitions occuring in definition :  accelerate: accelerate(k;f),  natural_number: $n,  blend-seq: blend-seq(k;x;y)
FDL editor aliases :  blended-real
Latex:
blended-real(k;x;y)  ==    accelerate(3;blend-seq(k;x;y))


Date html generated: 2017_10_03-AM-10_08_29
Last ObjectModification: 2017_07_05-PM-04_10_06

Theory : reals


Home Index