托马斯·盖利扎;赫尔穆特·塞德尔 通过策略迭代精确计算不动点。 （英语） Zbl 1187.68152号 De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421300-315（2007）。 小结：我们提出了一个实用的算法，用于计算整数上方程组的最小解，包括加法、正常数乘法、最大值和最小值。该算法基于策略迭代。它的运行时间（w.r.t.统一成本度量）与发生数的大小无关。我们将我们的技术应用于求解区间方程组。特别地，我们展示了如何精确处理区间方程中的任意交集和全区间乘法。关于整个系列，请参见[Zbl 1116.68003号]. 引用于25文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） PDF格式BibTeX公司 XML格式引用 \textit｛T.Gawlitza｝和\textit｛H.Seidl｝，Lect。票据计算。科学。4421300-315（2007；Zbl 1187.68152） 全文： 内政部