威廉·迈克尔斯(William M.Michaels)。;理查德·奥尼尔。 数学程序生成器MPGENR。 (英语) Zbl 0432.90063号 ACM事务处理。数学。柔和。 6, 31-44 (1980). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描的页面 引用于2文件 MSC公司: 90立方 非线性规划 90C05(二氧化碳) 线性规划 65千5 数值数学规划方法 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:MPGENR公司;子程序系统;预定最优解;大规模优化;测试问题生成;软件验证;数学程序生成 软件:MPGENR公司 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Michaels}和\textit{R.P.O'Neill},ACM翻译。数学。柔和。6、31——44(1980;Zbl 0432.90063) 全文: 内政部