安东尼·纳卡维奇;塞萨尔·穆尼奥斯;亚伦·杜特尔 基于Sturm和Tarski定理的单变量多项式计算的形式化验证决策程序。 (英语) Zbl 1356.68196号 J.汽车。推理 54,第4期,285-326(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Narkawicz}等人,J.Autom。推理54,No.4,285--326(2015;Zbl 1356.68196) 全文: 内政部
塞萨尔·穆尼奥斯;安东尼·纳卡维奇 Bernstein多项式的形式化及其在全局优化中的应用。 (英语) Zbl 1314.68286号 J.汽车。推理 51,第2期,151-196(2013).MSC公司:68吨15 65K10码 PDF格式BibTeX公司 XML格式引用 \textit{C.Muñoz}和\textit{A.Narkawicz},J.Autom。推理51,No.2,151--196(2013;Zbl 1314.68286) 全文: 内政部