罗伯特·巴格纳拉;帕特里夏·M·希尔。;埃纳州扎法内拉 不一定是闭凸多面体和双重描述方法。 （英语） Zbl 1101.68674号 正式Asp。计算。 17，第2期，222-257（2005）. 引用于15文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68单位05 计算机图形；计算几何（数字和算法方面） 关键词：凸多面体;双重描述;严格线性不等式;抽象解释;数据流分析 软件：高超声速 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人，《形式Asp》。计算。17，第2号，222--257（2005；Zbl 1101.68674） 全文： 内政部