沃尔特劳德·休耶;阿诺德·诺伊梅尔 射线积分近似和可行性验证。 （英语） Zbl 1048.65061号 Reliab公司。计算。 195-207年第3期第10期（2004年）. 摘要：提出了一种算法，该算法可以生成与给定向量几乎平行的整数向量。该算法可以用来发现齐次或非齐次线性方程组的精确有理解，只要给出足够精确的近似解。作为应用，我们展示了如何严格验证整数系数线性规划的退化顶点的可行性，以及如何严格识别给定线性方程组和不等式组中的某些冗余线性约束。这是在严格的全局优化代码中处理简并和冗余的第一步。 MSC公司： 65千5 数值数学规划方法 65G20个 具有自动结果验证的算法 65楼30 其他矩阵算法（MSC2010） 90立方厘米 整数编程 90C05（二氧化碳） 线性规划 15A39型 矩阵的线性不等式 关键词：算法;线性程序;线性方程组和不等式组;全局优化 软件：椰子;并入PT_90 PDF格式BibTeX公司 XML格式引用 \textit{W.Huyer}和\textit{A.Neumaier}，Reliab。计算。10，第3号，195--207（2004；Zbl 1048.65061） 全文： 内政部