罗伯特·肖斯塔克 通过计算循环剩余判定线性不等式。 （英语） Zbl 0468.68073号 J.协会计算。机器。 28, 769-779 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于17文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 15A39型 矩阵的线性不等式 68吨15 定理证明（演绎、解析等）（MSC2010） 90C05（二氧化碳） 线性规划 关键词：图中的循环;决策程序;程序验证 PDF格式BibTeX公司 XML格式引用 \textit{R.Shostak}，J.协会计算。机器。28769--779（1981年；Zbl 0468.68073） 全文： DOI程序