帕特里克·特伦丁；罗伯托·塞巴斯蒂亚尼 优化模块化有符号位向量和浮点数理论。 （英语） Zbl 07433028号 J.汽车。推理 65，第7期，1071-1096（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani}，J.Autom。推理65，No.7，1071--1096（2021；Zbl 07433028） 全文： 内政部
罗伯托·塞巴斯蒂亚尼；帕特里克·特伦丁 优化数学卫星：优化模理论的工具。 （英语） Zbl 1468.68206号 J.汽车。推理 64，第3号，423-460（2020）.MSC公司：68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin}，J.Autom。推理64，第3期，423-460（2020年；兹bl 1468.68206） 全文： 内政部
帕特里克·特伦丁；罗伯托·塞巴斯蒂亚尼 浮点数理论的优化模块。 （英语） Zbl 07178998号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 550-567 (2019).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani}，莱克特。注释计算。科学。11716、550-567（2019；Zbl 07178998） 全文： 内政部 arXiv公司