用于数学建模的数学软件，主要用于线性规划等处理。