八角形 swMATH ID: 13702 软件作者： A.米内。 描述： 八面体抽象域库是一个自由库，用于操作称为八面体的特殊多面体，这些多面体对应于形式为±x±y≤c的约束集（因此，在维度2中，这些多面体最多有八个面）。这个库的目标是通过抽象解释进行静态分析（在我的博士顾问页面上查找关于抽象解释的简短介绍）。这个图书馆的理论工作是在我的DEA和博士期间完成的。论文主要出版物是一篇题为《八角形抽象域》的文章。这个图书馆正在建设中。它由作者内部使用，并公开提供，希望对其他人有用，但没有任何保证。此外，这座图书馆仅供学术用途。没有作者的明确授权，图书馆的商业用途是不可能的。 主页： https://www-apr.lip6.fr/~我的/十月/ 相关软件： 阿斯特里；停机坪；应用程序；Why3号机组；电子稳定控制系统/Java；Caduceus公司；卡拉卡拉；阿司匹克；VINAS-P公司；CSSV公司；Uppaal公司；算法97；克洛诺斯；箱子；GLPK公司；jStar公司；杰克；FunArray（趣味阵列）；VeriFast公司；VeriCool公司 引用于： 59文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 八角形抽象域。 Zbl 1105.68069号安托万·米内 2006 全部的 前5名106位作者引用 8 安托万·米内 4 贝特朗·珍妮特 4 大卫·莫尼奥（David P.Monniaux）。 三 罗伯特·巴格纳拉 三 埃里克·古堡 三 帕特里夏·M·希尔。 三 安迪·金 三 桑卡拉纳拉亚南，斯里拉姆 三 埃克塞尔·西蒙 三 埃纳州扎法内拉 2 帕特里克·库索特 2 圣埃芬·高伯特 2 托马斯·马丁·高利察 2 阿尔蒂·古普塔 2 弗兰乔·伊万契奇 2 佐哈尔·曼纳 2 劳伦特·莫博涅 2 对手，泽维尔 1 泽维尔·阿拉米吉恩 1 高格尔·巴拉克利什南 1 安妮迪亚·班纳吉 1 弗雷德里克·本哈莫 1 弗雷德里克·贝松 1 马吕斯·博兹加 1 亚伦·R·布拉德利。 1 Jörg Brauer 1 Randal E.布莱恩特。 1 斯特凡·比格德 1 亚历山大·查普托 1 陈丽倩 1 罗伯特·克拉里斯托 1 乔迪·科尔塔德拉 1 亚历山德鲁·科斯坦 1 拉迪亚·库索特 1 米拉·达拉·普雷达 1 德博舍尔，科恩 1 丹马特，特里斯坦 1 米雷尔·杜卡斯 1 曼努埃尔·Fähndrich 1 乌里·法伦贝格 1 皮埃特罗·费拉拉 1 格雷姆·恒河 1 皮埃尔·洛伊奇 1 哈利勒·戈尔巴尔 1 罗伯托·贾科巴齐 1 阿尔诺·哥特利布 1 苏米特·古尔瓦尼 1 尼古拉斯·哈尔巴赫斯 1 C.E.赫尔姆斯特特。 1 Heo，Kihong先生 1 尼古拉斯·霍尔斯蒂 1 雅各布·M·豪。 1 拉杜·奥西夫 1 Ko、Yoonseok 1 菲利普·科内钦 1 金·古德斯特兰·拉森 1 比约恩·利斯特 1 阿列克谢·罗尼诺夫 1 弗朗西斯科·洛戈佐 1 卢、伦金 1 鲁，齐 1 马杜，马蒂亚斯 1 迈克尔·马德森 1 前田直人 1 梅勒特·康托兹。 1 佛罗伦萨马拉宁奇 1 克劳德·马奇 1 马蒂厄·马特尔 1 达米安·马萨诸塞 1 伊莎贝拉·马斯特罗埃尼 1 埃琳娜·马兹 1 马丁·米拉塔 1 扬尼克·莫伊 1 哦，哈乔 1 玛丽·佩洛 1 马蒂亚斯·佩隆 1 大卫·皮哈迪 1 Sylvie推杆 1 拉加万拉曼 1 瑟伦·霍夫·瑞文 1 代表，Thomas W。 1 彼得·雷维斯。 1 皮埃尔·鲁克斯 1 穆利·萨吉夫 1 维威克·萨卡尔 1 彼得·沙赫特 1 戴维·施密特（David A.Schmidt）。 1 彼得·施拉梅尔 1 赫尔穆特·塞德尔 1 温德林，塞尔韦 1 桑吉特·阿伦库马尔·塞希亚 1 亨尼·B·西普玛。 1 哈拉尔德·森德加德 1 帕斯卡·索丁 1 彼得·詹姆斯·斯塔基 1 克里希纳·苏布拉马尼 1 安库尔·塔利 1 阿什什·库马尔·蒂瓦里 1 夏洛特·特鲁切特 1 城市，卡特里娜 …还有6位作者 全部的 前5名12篇连载文章中引用 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 理论计算机科学 1 符号计算杂志 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 美国计算机学会期刊 1 高阶和符号计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 可满足性、布尔建模与计算杂志 全部的 前5名在7个字段中引用 58 计算机科学（68至XX） 6 数理逻辑与基础（03-XX） 5 运筹学、数学规划（90-XX） 三 凸和离散几何（52至XX） 三 数值分析（65-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文