Система неравенств

[fonon.livejournal.com]

Имеется несколько систем неравенств большой размерности.

1. Позволяет ли MathCAD решать подобные вещи, и если да, то ткните пальцем: где можно прочитать о том, как это делается?
либо
2. Посоветуйте программный продукт, с помощью которого можно будет посчитать системы неравенств?

Заранее спасибо! :)