>

$\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[{\mathrm{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[{\mathrm{23.0747312455205424}}{\,}\left[{x}{=}{\mathrm{1.36754446796582}}\right]\right]$
 (2) 