Nuprl Definition : r2-det

|pqr| ==  (((p 0) * (q 1)) + ((q 0) * (r 1)) + ((r 0) * (p 1))) - ((p 1) * (q 0)) + ((q 1) * (r 0)) + ((r 1) * (p 0))


Definitions occuring in Statement :  rsub: x - y,  rmul: a * b,  radd: a + b,  apply: f a,  natural_number: $n
Definitions occuring in definition :  rsub: x - y,  radd: a + b,  rmul: a * b,  apply: f a,  natural_number: $n
FDL editor aliases :  r2-det
Latex:
|pqr|  ==
    (((p  0)  *  (q  1))  +  ((q  0)  *  (r  1))  +  ((r  0)  *  (p  1)))  -  ((p  1)  *  (q  0))
    +  ((q  1)  *  (r  0))
    +  ((r  1)  *  (p  0))


Date html generated: 2017_10_03-AM-11_39_53
Last ObjectModification: 2017_04_11-PM-05_28_24

Theory : reals


Home Index