西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;卡普尔,迪帕克 (mathcal{EUF})中的统一插值:使用DAG表示的算法。 (英语) Zbl 07566058号 日志。方法计算。科学。 18,第2号,第2号文件,第24页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,日志。方法计算。科学。18,第2号,第2篇论文,24页(2022;Zbl 07566058) 全文: arXiv公司 链接
陈明帅;王健;安、杰;詹伯华;卡普尔,迪帕克;詹乃军 NIL:学习非线性插值。 (英语) Zbl 07178976号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 178-196 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,Lect。注释计算。科学。11716、178-196(2019;Zbl 07178976) 全文: 内政部 arXiv公司
甘婷;戴丽云;夏碧灿;詹乃军;卡普尔,迪帕克;陈明帅 二次多项式不等式的插值综合及与EUF的结合。 (英语) Zbl 1475.03072号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 195-212 (2016).MSC公司:03B35型 03C40号 60年第68季度 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gan}等人,Lect。注释计算。科学。9706195--212(2016;Zbl 1475.03072) 全文: 内政部 arXiv公司