A decision method for elementary algebra and geometry 机器证明名著《Adecisionmethodforelementaryalgebraandgeometry》,Tarski著。
运筹学软件WINQSB教程 WinQSB是Quantitative Systems for Business的缩写,WinQSB是一种教学软件,里面有大量的模型,对于非大型的问题一般都能计算,较小的问题还能演示中间的计算过程。为此将WinQSB求解运筹学相关问题的使用方法简介如下。内容包括:线性规划划及整数规划、目标规划、分配