×

找到3个文档(结果1-3)

NIL:学习非线性插值。 (英语) Zbl 07178976号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 178-196 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用

二次多项式不等式的插值综合及与EUF的结合。 (英语) Zbl 1475.03072号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 195-212 (2016).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段