>

$\mathrm{with}\left(\mathrm{GlobalOptimization}\right)\:$

Find the global solution to the minimization problem $\mathrm{ln}\left(x\right)\mathrm{sin}\left(x\right)$ in the range $\left[1..20\right]$.
>

$\mathrm{GlobalSolve}\left(\mathrm{ln}\left(x\right)\mathrm{sin}\left(x\right)\,x\=1..20\right)$

$\left[{}{2.85006479973796}{\,}\left[{x}{\=}{17.2990352355127}\right]\right]$
 (1) 
Find the global solution to a constrained minimization problem.
>

$\mathrm{GlobalSolve}\left({x}^{6}5{x}^{3}20{x}^{2}5\,\left\{5{x}^{2}\+20x\+18\le 0\right\}\,x\=3..3\right)$

$\left[{}{23.0747312455205424}{\,}\left[{x}{\=}{}{1.36754446796582}\right]\right]$
 (2) 