罗曼·艾萨特;福雷德里克·沃辛;沃尔夫,伯克哈特 通过符号执行技术消除不可行的路径。路径的正确性和保存证明。 (英语) Zbl 1478.68140号 Blanchette,Jasmin Christian(编辑)等,交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9807, 36-51 (2016).MSC公司:60年第68季度 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Aissat}等人,Lect。注释计算。科学。9807,36-51(2016;Zbl 1478.68140) 全文: 内政部
斯蒂芬·西格尔(Stephen F.Siegel)。;蒂莫西·齐科尔。 TASS:精确科学软件的工具包。 (英语) Zbl 1264.68113号 数学。计算。科学。 5,第4期,395-426(2011).MSC公司:60年第68季度 68号30 68甲19 65天99 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Siegel}和\textit{T.K.Zirkel},数学。计算。科学。5,第4号,395--426(2011;Zbl 1264.68113) 全文: 内政部
赫莱内·科拉维扎;米歇尔·鲁赫;帕斯卡·范·亨特利克 CPBPV:用于有界程序验证的约束编程框架。 (英语) Zbl 1213.68173号 约束条件 15,第2期,238-264(2010).MSC公司:68N17号 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Collavizza}等人,《约束15》,第2期,238--264(2010年;Zbl 1213.68173) 全文: 内政部 哈尔