国际的 swMATH ID: 23776 软件作者： 阿兰·邦迪 描述： 广义区间包及其用于语义检查。描述了一个区间算法包INT，它利用函数单调性的信息推广了以前的区间算法包。INT已用于代数操作包PRESS中，以检查重写规则的条件和方程的解。 主页： https://dl.acm.org/citation.cfm？doid=2701.2702 关键词： 区间算术包；代数操作包 相关软件： 新闻；伊斯兰教 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 广义区间包及其用于语义检查。 Zbl 0548.65039号阿兰·邦迪 1984 全部的 前5名8位作者引用 2 阿兰·邦迪 1 劳伦斯·伯德 1 华，姚 1 约翰·杜威·琼斯 1 理查德·奥基夫。 1 西尔弗，伯纳德 1 Leon S.斯特林。 1 杨洪泉 3篇连载文章中引用 1 ACM数学软件汇刊 1 符号计算杂志 1 应用数学快报 在5个字段中引用 1 数学逻辑和基础（03-XX） 1 场论和多项式（12-XX） 1 实函数（26年X月X日） 1 数值分析（65-XX） 1 计算机科学（68至XX） 按年份列出的引文