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
Moulton
- Incidence
- Parallellism
-
Ruler*
- Separation
- Angle
O bem que a violência faz, é - sempre - passageiro.
O mal que ela faz, é permanente.
O mal que ela faz, é permanente.
Mahatma Gandhi
< Parallellism
| Ruler |
Separation >
Distance Function
\[ f_r(x)= \left\{ \begin{matrix} \sqrt{1+m^2}\cdot x,&x \leq 0 \\ \sqrt{1+\frac{1}{4}m^2}\cdot x,&x> 0 \end{matrix} \right. \]
< Parallellism
| Ruler |
Separation >
|
|
|
|
|
|
|
|
|
