Nuprl Definition : MachinPi4
MachinPi4() == 4 * atan(5;(r1)/5) - atan(239;(r1)/239)
Definitions occuring in Statement :
atan: atan(a;x),
int-rdiv: (a)/k1,
int-rmul: k1 * a,
rsub: x - y,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rsub: x - y,
int-rmul: k1 * a,
atan: atan(a;x),
int-rdiv: (a)/k1,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
MachinPi4
Latex:
MachinPi4() == 4 * atan(5;(r1)/5) - atan(239;(r1)/239)
Date html generated:
2018_05_22-PM-03_05_59
Last ObjectModification:
2017_10_26-PM-03_43_10
Theory : reals_2
Home
Index