西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔;希亚拉·纳索 具有长度和maxdiff的数组的插值结果。 （英语） Zbl 07760989号 ACM事务处理。计算。日志。 24，第4条，第28条，第33页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，ACM Trans。计算。日志。24，第4号，第28条，第33页（2023；Zbl 07760989） 全文： 内政部
西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 使用MaxDiff对数组进行插值和合并。 （英语） Zbl 07410429号 Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 268-288 (2021).MSC公司：68新元 第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，Lect。注释计算。科学。12650268--288（2021；Zbl 07410429） 全文： 内政部 arXiv公司 OA许可证
陈明帅;王健;安、杰;詹伯华;迪帕克·卡普尔;詹乃军 NIL：学习非线性插值。 （英语） Zbl 07178976号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 178-196 (2019).MSC公司：68伏15 03C40号 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，Lect。注释计算。科学。11716、178-196（2019；Zbl 07178976） 全文： 内政部 arXiv公司
迪帕克·卡普尔 未解释和解释符号上的条件同余闭包。 （英语） Zbl 1417.68077号 J.系统。科学。复杂。 32，第1号，317-355（2019）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}，J.系统。科学。复杂。32，编号1，317--355（2019；Zbl 1417.68077） 全文： 内政部
甘婷;戴丽云;夏碧灿;詹乃军;迪帕克·卡普尔;陈明帅 二次多项式不等式的插值综合及与EUF的结合。 （英语） Zbl 1475.03072号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706195-212（2016年）。MSC公司：03B35型 03C40号 60年第68季度 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gan}等人，Lect。注释计算。科学。9706195--212（2016；Zbl 1475.03072） 全文： 内政部 arXiv公司
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃龙科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉 Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。MSC公司：2003年8月 01A70号 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003） 全文： 内政部