皮埃尔·鲁克斯;穆罕默德·伊格伦拉拉;Sylvain Conchon公司 用于控制命令软件验证的非线性算法程序。 （英语） Zbl 1423.68469号 Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。10806, 132-151 (2018).MSC公司：68T20型 60年第68季度 68瓦30 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}等人，Lect。注释计算。科学。10806、132--151（2018；Zbl 1423.68469） 全文： 内政部 哈尔
皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 验证多项式不变量的数值半定规划求解器。 （英语） Zbl 1425.68081号 形式方法系统。设计。 第5286-312号第53页（2018年）.MSC公司：68号30 65千5 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}等人，《形式方法系统》。设计。53，第2号，286--312（2018；Zbl 1425.68081） 全文： 内政部 哈尔