编辑配置文件(在新选项卡中打开) 雅克·卡雷特 合著者距离 作者ID: 插入音雅克 发布日期: 雅克·卡雷特 已编制索引的文档: 37出版物自2004年以来,包括4个附加arXiv预打印 7作为编辑的贡献 合著者: 46位合著者具有37联合出版物 830名合作作者 全部的 前5名合著者 4 单作者的 12 Farmer,William M。 5 阿穆尔·萨布里 4 沃尔克·索尔格 三 克里斯托弗·库马尔·阿南德 三 罗素·奥康纳 三 单忠杰 三 亚斯敏·沙罗达 2 陈朝红 2 维克拉曼·乔杜里 2 里扎德·贾尼基 2 大卫·J·杰弗里。 2 沃尔夫拉姆·卡尔 2 奥列格·基塞利约夫 2 迈克尔·科尔哈斯 2 迈克尔·莫纳根。 2 普拉文·纳拉亚南 2 弗洛里安·拉贝 2 彼得·索伊卡 2 斯蒂芬·迈克尔·瓦特 2 马卡里乌斯·温泽尔 2 周文琴 1 大卫·阿斯皮纳尔 1 安娜·玛丽亚·比加蒂 1 约翰·坎贝尔(John A.Campbell)。 1 安德鲁·托马斯·柯蒂斯 1 詹姆斯·哈罗德·达文波特 1 蒂莫·德·沃尔夫 1 卢卡斯·狄克逊 1 加布里埃尔·多斯·里斯 1 克里斯蒂安·赫茨拉 1 罗珊·詹姆斯(Roshan P.James)。 1 约翰·杰林 1 季晓恒 1 迈克尔·乔斯维格 1 塞萨里·卡利西克 1 曼弗雷德·科伯 1 亚历山大·科洛布金 1 迈克尔·库塞拉 1 克里斯托夫·兰格 1 帕特里克·拉斯科夫斯基 1 约翰·麦库琴 1 雷恩·罗曼诺 1 克劳迪奥·萨塞尔多蒂·科恩 1 艾伦·P·塞克斯顿。 1 萨姆·托宾·霍施塔特 1 拉詹·瓦利亚 1 弗里克·威迪杰克 1 沃尔夫冈·温斯特伊格 1 罗伯特·津科夫 全部的 前5名系列 5 计算机科学课堂讲稿 三 计算机程序设计科学 1 数学信使 1 自动推理杂志 1 函数编程杂志 1 计算机基础理论 1 理论计算机科学电子笔记 全部的 前5名字段 41 计算机科学(68-XX) 8 总体主题;集合(00-XX) 5 数值分析(65-XX) 2 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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位作者 全部的 前5名17篇连载文章中引用 6 函数编程杂志 三 符号计算杂志 三 自动推理杂志 三 程序设计中的逻辑和代数方法杂志 2 计算机程序设计科学 2 洛巴切夫斯基数学杂志 2 计算机科学中的数学 1 计算机物理通信 1 工程数学杂志 1 计算与应用数学杂志 1 信息与计算 1 运筹学年鉴 1 MSCS公司。计算机科学中的数学结构 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名在16个字段中引用 70 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 5 范畴理论;同调代数(18-XX) 三 总体主题;集合(00-XX) 三 数值分析(65-XX) 2 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 概率论与随机过程(60-XX) 1 流体力学(76-XX) 1 光学、电磁理论(78-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的引文