丹尼尔·库尔文
人员信息
SPARQL查询
优化列表
2010 – 2019
2016 [j3] 贾斯敏·克里斯蒂安·布兰切特 , 大卫·格林纳威 , 塞萨里·卡利西克 , 丹尼尔·库尔文 , 约瑟夫·乌尔班 :
Isabelle/HOL基于学习的事实选择器。 J.汽车。 原因。 57 ( 三 ) : 219-244 ( 2016 ) 2015 [注2] 丹尼尔·库尔文 , 约瑟夫·乌尔班 :
MaLeS:自动调整定理证明程序的框架。 J.汽车。 原因。 55 ( 2 ) : 91-116 ( 2015 ) 2014 [j1] 杰西·阿拉玛 , 汤姆·海斯克斯 , 丹尼尔·库尔文 , 叶夫根·齐夫茨瓦泽 , 约瑟夫·乌尔班 :
基于语料库分析和核方法的数学前提选择。 J.汽车。 原因。 52 ( 2 ) : 191-213 ( 2014 ) 2013 [第11条] 丹尼尔·库尔文 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
电子邮件1.1。 CADE公司 2013 : 407-413 [c10] 丹尼尔·库尔文 , 贾斯敏·克里斯蒂安·布兰切特 , 塞萨里·卡利西克 , 约瑟夫·乌尔班 :
MaSh:大锤的机器学习。 ITP公司 2013 : 35-50 [i2] 丹尼尔·库尔文 , 约瑟夫·乌尔班 :
MaLeS:自动调整定理证明程序的框架。 CoRR公司 abs/1308.2116 ( 2013 ) 2012 【c9】 丹尼尔·库尔文 , 约瑟夫·乌尔班 :
从多重证据中学习:第一次实验。 IJCAR的PAAR 2012 : 82-94 【c8】 丹尼尔·库尔文 , 特万·范·拉霍温 , 叶夫根·齐夫茨瓦泽 , 约瑟夫·乌尔班 , 汤姆·海斯克斯 :
大理论数学前提选择技术综述与评价。 国际JCAR 2012 : 378-392 【c7】 杰西·阿拉玛 , 丹尼尔·库尔文 , 约瑟夫·乌尔班 :
普通数学中的自动和人工证明:初步比较。 LPAR公司 2012 : 37-45 2011 【c6】 丹尼尔·库尔文 , 约瑟夫·乌尔班 , 叶夫根·齐夫茨瓦泽 , 赫尔曼·盖弗斯 , 汤姆·海斯克斯 :
自动推理的多输出排序。 KDIR公司 2011 : 42-51 【c5】 丹尼尔·库尔文 , 约瑟夫·乌尔班 , 叶夫根·齐夫茨瓦泽 , 赫尔曼·盖弗斯 , 汤姆·海斯克斯 :
学习2原因。 结石/MKM 2011 : 298-300 [i1] 杰西·阿拉玛 , 丹尼尔·库尔文 , 叶夫根·齐夫茨瓦泽 , 约瑟夫·乌尔班 , 汤姆·海斯克斯 :
基于语料库分析和核方法的数学前提选择。 CoRR公司 abs/1108.3446 ( 2011 ) 2010 【c4】 马科斯·克莱默 , 彼得·科普克 , 丹尼尔·库尔文 , 伯恩哈德·施罗德 :
Naproche系统中的前提选择。 国际JCAR 2010 : 434-440 【c3】 马科斯·克莱默 , 丹尼尔·库尔文 , 伯恩哈德·施罗德 :
数学文本中的预设投射和调节。 科文斯 2010 : 29-36