@收款{zbMATH07178998，作者={特伦丁、帕特里克和塞巴斯蒂亚尼、罗伯托}，标题={浮点数理论的优化模}，BookTitle={自动扣除--CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日。诉讼}，国际标准图书编号={978-3-030-29435-9；978-3-0.30-29436-6}，Pages＝{550-567}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-29436-6_33}，关键词={68T20,65K10}，zbMATH={7178998}}