Nuprl Definition : ball-slice-radius
ball-slice-radius(r;t) == rsqrt(r^2 - t^2)
Definitions occuring in Statement :
rsqrt: rsqrt(x),
rnexp: x^k1,
rsub: x - y,
natural_number: $n
Definitions occuring in definition :
rsqrt: rsqrt(x),
rsub: x - y,
rnexp: x^k1,
natural_number: $n
FDL editor aliases :
ball-slice-radius
Latex:
ball-slice-radius(r;t) == rsqrt(r\^{}2 - t\^{}2)
Date html generated:
2019_10_30-AM-10_14_55
Last ObjectModification:
2019_06_28-PM-01_52_12
Theory : real!vectors
Home
Index