Nuprl Definition : ip-between
a_b_c == ((||a - b|| * ||c - b||) + a - b ⋅ c - b) = r0
Definitions occuring in Statement :
rv-norm: ||x||,
rv-sub: x - y,
rv-ip: x ⋅ y,
req: x = y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
req: x = y,
radd: a + b,
rmul: a * b,
rv-norm: ||x||,
rv-ip: x ⋅ y,
rv-sub: x - y,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
ip-between
Latex:
a\_b\_c == ((||a - b|| * ||c - b||) + a - b \mcdot{} c - b) = r0
Date html generated:
2017_10_04-PM-11_56_53
Last ObjectModification:
2017_03_09-PM-02_00_34
Theory : inner!product!spaces
Home
Index