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
Quando eu dou de comer aos pobres
Me chamam de santo
Quando eu pergunto por que eles são pobres
Me chamam de comunista
Dom Helder Câmera
< 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 >
Messages:
0 secs.