罗伯特·巴格纳拉;阿布拉莫·巴格纳拉;法比奥·比塞利;米歇尔·齐亚里;戈丽,罗伯塔 用于程序验证的IEEE 754浮点算法的正确近似。 (英语) Zbl 1490.68078号 约束条件 27,编号1-2,29-69(2022).MSC公司:68号30 65克50 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《限制条件》27,编号1--2,29-69(2022;Zbl 1490.68078) 全文: 内政部 arXiv公司
德巴西米塔·洛哈尔;Jeangoudoux,Clothilde公司;乔舒亚·索贝尔;伊娃·达鲁洛娃;玛丽亚·克里斯塔基斯 条件浮点验证的两阶段方法。 (英语) Zbl 1474.68191号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 43-63 (2021).MSC公司:60年第68季度 65克50 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lohar}等人,Lect。注释计算。科学。12652,43-63(2021;Zbl 1474.68191) 全文: 内政部
帕特里克·特伦丁;罗伯托·塞巴斯蒂亚尼 浮点数理论的优化模块。 (英语) Zbl 07178998号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 550-567 (2019).MSC公司:68T20型 65K10像素 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani},莱克特。注释计算。科学。11716、550-567(2019;Zbl 07178998) 全文: 内政部 arXiv公司
John,Ajith K。;Supratik查克拉博蒂 一种用于从线性模块约束中消除量词的分层算法。 (英语) Zbl 1368.68332号 表格方法系统。设计。 49,第3期,272-323(2016).MSC公司:68瓦30 65层99 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.John}和\textit{S.Chakraborty},《形式方法系统》。设计。49,第3号,272--323(2016;Zbl 1368.68332) 全文: 内政部
罗伯特·巴格纳拉;卡利埃、马蒂厄;戈丽,罗伯塔;阿尔诺·哥特利布 利用二进制浮点表示进行约束传播。 (英语) 兹比尔1357.68010 信息J.计算。 28,第1期,31-46(2016).MSC公司:2007年7月68日 6504年 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《信息与计算》。28、第1号、第31-46号(2016;Zbl 1357.68010) 全文: 内政部 arXiv公司
阿列克谢·索洛维耶夫;查尔斯·雅各布森;茨沃尼米尔·拉卡马里奇;加内什·戈帕拉克里什南 用符号泰勒展开严格估计浮点舍入误差。 (英语) Zbl 1427.65064号 Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9109, 532-550 (2015).MSC公司:65克50 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Solovyev}等人,Lect。注释计算。科学。9109532-550(2015;Zbl 1427.65064) 全文: 内政部