Nuprl Definition : radd_rcos
radd_rcos(x) == accelerate(3;addrcos(x))
Definitions occuring in Statement :
addrcos: addrcos(x),
accelerate: accelerate(k;f),
natural_number: $n
Definitions occuring in definition :
addrcos: addrcos(x),
natural_number: $n,
accelerate: accelerate(k;f)
FDL editor aliases :
radd_rcos
Latex:
radd\_rcos(x) == accelerate(3;addrcos(x))
Date html generated:
2016_10_26-PM-00_16_48
Last ObjectModification:
2016_09_12-PM-05_41_10
Theory : reals_2
Home
Index