Seção de Software: o uso de software de modelagem AIMMS na solução de problemas de programação matemática