×
作者ID: 插入音雅克最近由“Carette,Jacques”撰写的zbMATH文章
发布日期: 雅克·卡雷特
已编制索引的文档: 37出版物自2004年以来,包括4个附加arXiv预打印
7作为编辑的贡献
合著者: 46位合著者具有37联合出版物
830名合作作者

按年份列出的出版物

zbMATH Open中包含的引文

27出版物有被引用96中的次75文件 引用人 年份
最后,无标记,部分评估:用于简单类型语言的无标记阶段口译员。 Zbl 1191.68158号
雅克·卡雷特;奥列格·基塞利约夫;Shan,Chung-Chieh公司
16
2009
了解表达式简化。 兹比尔1134.68596
雅克·卡雷特
9
2004
通过Hakaru中的程序转换进行概率推理(系统描述)。 兹比尔1475.68072
纳拉亚南,普拉文;雅克·卡雷特;雷恩·罗曼诺;单忠杰;罗伯特·津科夫
7
2016
使用functor和monad的多级编程:消除泛型代码的抽象开销。 Zbl 1215.68059号
雅克·卡雷特;奥列格·基塞利约夫
7
2011
领域:巩固数学理论知识的结构。 Zbl 1304.68169号
雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯
7
2014
高斯消去:MetaOCaml有效泛型的案例研究。 Zbl 1100.68130号
雅克·卡雷特
6
2006
高级理论。 Zbl 1166.68338号
雅克·卡雷特;Farmer,William M。
6
2008
分段定义函数的标准形式。 Zbl 1190.68086号
雅克·卡雷特
4
2007
MathScheme:项目描述。 Zbl 1335.68226号
雅克·卡雷特;Farmer,William M。;罗素·奥康纳
4
2011
理论演示组合器。 Zbl 1360.68802号
雅克·卡雷特;罗素·奥康纳
4
2012
数学知识管理综述。 Zbl 1247.68266号
雅克·卡雷特;Farmer,William M。
2009
汇编级数据流图的控制流语义。 Zbl 1185.68223号
沃尔夫拉姆·卡尔;克里斯托弗·阿南德。;雅克·卡雷特
2006
利用理论陈述中包含的信息。 Zbl 1455.68255号
雅克·卡雷特;Farmer,William M。;亚斯敏·沙罗达
2
2020
半环和弱rig群的计算。 Zbl 1335.68048号
雅克·卡雷特;阿穆尔·萨布里
2
2016
将数学知识形式化为双形式理论图:案例研究。 Zbl 1367.68299号
雅克·卡雷特;Farmer,William M。
2
2017
智能计算机数学。2015年国际会议,CICM,美国华盛顿特区,2015年7月13日至17日,会议记录。 Zbl 1316.68015号
2
2015
枫叶的部分评估。 Zbl 1215.68277号
雅克·卡雷特;迈克尔·库塞拉
2
2011
HOL灯QE。 Zbl 1511.68307号
雅克·卡雷特;Farmer,William M。;帕特里克·拉斯科夫斯基
2
2018
CoG-PETS:时间序列中参数估计的代码生成。 Zbl 1344.65017号
克里斯托弗·库马尔·阿南德;雅克·卡雷特;安德鲁·托马斯·柯蒂斯;大卫·米勒
1
2005
用于大型表达式管理的带有签名的层次表示。 Zbl 1156.68641号
周文琴;J·卡雷特。;杰弗里,D.J。;莫纳根,M.B。
1
2006
通过符号计算来计算数字命令式程序的性质。 Zbl 1137.68628号
雅克·卡雷特;里扎德·贾尼基
1
2007
实验数学体系的合理重构。 Zbl 1202.68374号
雅克·卡雷特;Farmer,William M。;沃尔克·索尔格
1
2007
通过符号计算计算数值命令程序的属性。 Zbl 1128.68116号
雅克·卡雷特;里扎德·贾尼基
1
2007
大数学和单脑障碍:数学知识的四足模型。 Zbl 1493.68391号
雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2021
智能计算机数学。2012年7月8日至13日,在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。 Zbl 1245.68013号
1
2012
智能计算机数学。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。 Zbl 1268.68008号
1
2013
符号域分解。 Zbl 1286.68515号
雅克·卡雷特;艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。
1
2010
大数学和单脑障碍:数学知识的四足模型。 Zbl 1493.68391号
雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2021
利用理论陈述中包含的信息。 Zbl 1455.68255号
雅克·卡雷特;Farmer,William M。;亚斯敏·沙罗达
2
2020
HOL灯QE。 Zbl 1511.68307号
雅克·卡雷特;Farmer,William M。;帕特里克·拉斯科夫斯基
2
2018
将数学知识形式化为双形式理论图:案例研究。 Zbl 1367.68299号
雅克·卡雷特;Farmer,William M。
2
2017
通过Hakaru中的程序转换进行概率推理(系统描述)。 Zbl 1475.68072号
普拉文·纳拉亚南;雅克·卡雷特;雷恩·罗曼诺;单忠杰;罗伯特·津科夫
7
2016
半环和弱rig群的计算。 Zbl 1335.68048号
雅克·卡雷特;阿穆尔·萨布里
2
2016
智能计算机数学。2015年国际会议,CICM,美国华盛顿特区,2015年7月13日至17日,会议记录。 Zbl 1316.68015号
2
2015
领域:巩固数学理论知识的结构。 Zbl 1304.68169号
雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯
7
2014
智能计算机数学。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。 Zbl 1268.68008号
1
2013
理论演示组合器。 Zbl 1360.68802号
雅克·卡雷特;运营;罗素·康纳
4
2012
智能计算机数学。2012年7月8日至13日,在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。 兹比尔1245.68013
1
2012
使用functor和monad的多级编程:消除泛型代码的抽象开销。 Zbl 1215.68059号
雅克·卡雷特;奥列格·基塞利约夫
7
2011
MathScheme:项目描述。 兹比尔1335.68226
雅克·卡雷特;Farmer,William M。;运营;罗素·康纳
4
2011
枫叶的部分评估。 Zbl 1215.68277号
雅克·卡雷特;迈克尔·库塞拉
2
2011
符号域分解。 Zbl 1286.68515号
雅克·卡雷特;艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。
1
2010
最后,无标记,部分评估:用于简单类型语言的无标记阶段口译员。 Zbl 1191.68158号
雅克·卡雷特;奥列格·基塞利约夫;Shan,Chung-Chieh公司
16
2009
数学知识管理综述。 Zbl 1247.68266号
雅克·卡雷特;Farmer,William M。
2009
高级理论。 Zbl 1166.68338号
雅克·卡雷特;Farmer,William M。
6
2008
分段定义函数的标准形式。 Zbl 1190.68086号
雅克·卡雷特
4
2007
通过符号计算计算数值命令程序的属性。 Zbl 1137.68628号
雅克·卡雷特;里扎德·贾尼基
1
2007
实验数学体系的合理重构。 Zbl 1202.68374号
雅克·卡雷特;Farmer,William M。;沃尔克·索尔格
1
2007
通过符号计算计算数值命令程序的属性。 Zbl 1128.68116号
雅克·卡雷特;里扎德·贾尼基
1
2007
高斯消去:MetaOCaml有效泛型的案例研究。 Zbl 1100.68130号
雅克·卡雷特
6
2006
汇编级数据流图的控制流语义。 Zbl 1185.68223号
沃尔夫拉姆·卡尔;克里斯托弗·阿南德。;雅克·卡雷特
2006
用于大型表达式管理的带有签名的层次表示。 Zbl 1156.68641号
周文琴;J·卡雷特。;杰弗里,D.J。;莫纳根,M.B。
1
2006
CoG-PETS:时间序列中参数估计的代码生成。 Zbl 1344.65017号
克里斯托弗·库马尔·阿南德;雅克·卡雷特;安德鲁·托马斯·柯蒂斯;大卫·米勒
1
2005
了解表达式简化。 Zbl 1134.68596号
雅克·卡雷特
9
2004
全部的 前5名

164位作者引用

9 雅克·卡雷特
6 Farmer,William M。
5 英格兰,马修
5 迈克尔·科尔哈斯
5 弗洛里安·拉贝
4 詹姆斯·哈罗德·达文波特
4 奥列格·基塞利约夫
米尼亚·伊恩库
沃尔夫拉姆·卡尔
Yukiyoshi县Kameyama
穆勒,丹尼斯
劳伦斯·查尔斯·保尔森
单忠杰
2 詹姆斯·布里奇。
2 多里安·弗洛雷斯库
2 加尔达洛,Wided
2 黄宗岩
2 罗宾·卡斯加德
2 Aleksandr Vital’evich,基里洛维奇
2 英国利帕切夫。
2 阿里·米莉
2 亚当·纳莫维奇
2 奥尔加·阿韦尼罗夫纳·涅夫佐罗娃
2 罗素·奥康纳
2 山姆·斯塔顿
2 大卫·J·威尔逊。
1 阿提姆·阿尔哈佐夫
1 阿南德,阿比舍克
1 浅井,肯尼奇
1 杰里米·阿维加德
1 霍尔格·博克·阿克塞尔森
1 埃米尔·阿克塞尔森
1 大卫·哈罗德·贝利
1 格拉泽戈兹·班塞雷克
1 埃齐奥·巴托西
1 奥马尔·贝林盖里
1 贾斯敏·克里斯蒂安·布兰切特
1 伊曼纽尔·博尔戈诺沃
1 乔纳森·迈克尔·博文
1 尼古拉·博塔
1 西蒙·博利埃
1 Brachthäuser,乔纳森·伊曼纽尔
1 罗素·J·布拉德福德。
1 埃德温·布雷迪(Edwin C.Brady)。
1 努里亚·布雷德
1 哈立德·比萨耶斯
1 埃夫斯塔提亚·布拉
1 Czesław拜林斯基
1 豪尔赫·卡拉万提斯
1 陈朝红
1 陈明帅
1 陈晓宇
1 詹姆斯·切尼
1 维克拉曼·乔杜里
1 安德鲁·科布
1 西里尔·科恩
1 科恩、凯利
1 瑞安·库佩普
1 斯瓦拉吉·达什
1 保罗·埃米利奥·德维莱纳
1 保罗·奥利维尔,德哈耶
1 德尔里奥·阿尔玛亚诺,特雷索
1 朱尔斯·德沙奈斯
1 多米尼克·德夫里塞
1 纳菲·迪亚洛
1 Cvetan Dunchev公司
1 塞卡特·杜塔
1 Elizarov,A.M。
1 扬尼克·福斯特
1 鲁道夫·弗伦德
1 杰娜·甘地
1 罗伯特·格莱克
1 戈梅斯·莫列达,玛丽亚·德·洛斯·安格尔
1 劳雷亚诺·冈萨雷斯-维加
1 亚当·格拉博夫斯基
1 爱玛·哈默尔
1 弗里茨·亨利恩
1 克里斯托夫·霍斯特
1 黄子欣
1 Jun-Ichiro井上
1 塞尔吉·伊万诺夫
1 帕特里克·简森
1 克劳德·皮埃尔·珍妮罗德
1 亚历山大·凯泽。
1 塞萨里·卡利西克
1 尼克瓦什·卡尼
1 艾哈迈德·卡里米
1 Joost-Pieter卡托恩
1 Khan Afshar,萨纳兹
1 格温·克莱恩
1 卢茨·克林肯伯格
1 Olexandr科诺瓦洛夫
1 彼得·科普曼
1 阿图尔·科尔尼·奥维茨
1 科瓦奇,劳拉·伊尔迪科
1 迈克尔·库塞拉
1 费边·昆泽
1 拉米亚·拉比德·吉拉尼
1 塞缪尔·莱利埃夫尔
1 阿斯玛·卢希奇
…还有64位作者

按年份列出的引文