SmtC: Show me the Code
Ole Peter Smith
Instituto de Matemática e Estatística
Universidade Federal de Goiás
http://www.olesmith.com.br

Cartesian
Life is a mystery to be lived.
Not a problem to be solved.
Søren Kierkegaard.

Scalar product

$\underline{a} =(a_x,a_y)$, $\underline{b} =(b_x,b_y)$: \[ \underline{a} \cdot \underline{b} = a_x b_x + a_y b_y \]
Messages:
0 secs.