编辑配置文件（在新选项卡中打开） 雅克·卡梅特（1941年2月19日） 合著者距离 作者ID： 卡梅特·雅克 发布日期： 雅克·卡梅特；J.卡梅特。 主页： https://crypto.it.kit.edu/index.php？id=417 外部链接： 管理程序·谷歌学者·ResearchGate研究之门·数据库许可证·接地 已编制索引的文档： 35出版物自1971年以来，包括1个附加arXiv预打印 19作为编辑的贡献 传记参考： 1出版物 合著者： 42位合著者具有44联合出版物 643位合作作者 全部的 前5名合著者 10 单作者的 6 约翰·坎贝尔（John A.Campbell）。 6 卡斯滕·霍曼 三 泽维尔·卡梅特 三 伊恩·科恩 三 Werner M.塞勒。 2 伯托利，P.G。 2 威利·盖塞尔曼 2 福斯托·金奇利亚 2 彼得·库尔曼 2 卢斯·吕迪格 2 约阿希姆·舒尤 2 沃尔克·索尔格 2 莫里奥·塔内达 2 因德拉·阿迪奥诺·特詹德拉 2 Johan A.Van Hulzen。 2 王东明 1 Aranda-Corral，冈萨罗A。 1 谢尔盖·奥特西尔 1 克莱门斯·巴拉林 1 贝莱德·本哈莫 1 奥尔加·卡普罗蒂 1 阿兰·卡里埃 1 大卫·德拉哈耶 1 雷金·恩德苏莱特 1 雅克·弗莱里奥特。 1 洛朗·海诺克 1 艾达、铁雄 1 帕特里克·D·F·伊恩。 1 Lu、James J。 1 丹尼斯·卢吉兹 1 皮埃尔·马雷特 1 Martín-Mateos，弗朗西斯科·耶苏斯 1 莫里茨·明兹拉夫 1 纽伦·穆勒·奎德 1 佩罗特特，M。 1 约琴·普法兹格拉夫 1 1月A日广场。 1 劳伦斯·里多 1 雷诺·里奥博 1 尤金尼奥·罗内斯·洛扎诺 1 艾伦·塞克斯顿。 1 罗宾·塔克（Robin W.Tucker）。 全部的 前5名系列 12 计算机科学课堂讲稿 8 数学与人工智能年鉴 2 模拟中的数学和计算机 2 SIGSAM公告 2 理论计算机科学 1 现代物理快报A 1 离散数学 1 信息处理信件 1 计算物理学杂志 1 《物理快报》。A类 1 工程、通信和计算中的应用代数 1 数学软件与软计算 1 计算机基础理论 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯 全部的 前5名领域 45 计算机科学（68至XX） 21 总体主题；集合（00-XX） 5 量子理论（81-XX） 4 特殊功能（33至XX） 4 数值分析（65-XX） 4 信息与通信理论、电路（94-XX） 三 数论（11-XX） 2 历史和传记（01-XX） 2 场论和多项式（12-XX） 2 粒子和系统力学（70-XX） 1 数学逻辑和基础（03-XX） 1 阶、格、有序代数结构（06-XX） 1 非结合环与代数（17-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 近似和展开（41至XX） 1 几何图形（51至XX） 1 整体分析，流形分析（58至XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 1 相对论和引力理论（83-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物有被引用84中的次60文件 引用人▼ 年份▼ 定理和算法：Isabelle和Maple之间的接口。 Zbl 0922.68080号 克莱门斯·巴拉林；卡斯滕·霍曼；雅克·卡梅特 19 1995 逻辑和符号计算系统的通信和协作机制分类。 兹伯利0894.68087 雅克·卡梅特；卡斯滕·霍曼 7 1996 李伪群的算法方法。 Zbl 0803.58003号 约阿希姆·舒尤；Werner M.塞勒。；雅克·卡梅特 5 1993 计算机代数。欧洲计算机代数会议，1982年4月5日至7日，法国马赛。 Zbl 0495.68005号 5 1982 定理证明器和计算机代数系统的规范和集成。 Zbl 0951.68197号 伯托利，P.G。；J.卡梅特。；金奇利亚，F。；霍曼，K。 4 1999 GF（q）中的代数算法。 Zbl 0578.68033号 J.卡梅特。 4 1985 计算机代数系统。 Zbl 0495.68035号 van Hulzen，J.A。；J.卡梅特。 4 1982 计算多值逻辑程序。 Zbl 0880.68014号 Lu、James J。；雅克·卡梅特；约阿希姆·舒尤 4 1997 走向数学软件总线。 Zbl 0893.68036号 雅克·卡梅特；卡斯滕·霍曼 4 1997 智能计算机数学。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。 Zbl 1194.68011号 三 2010 GF（p）上生成不可约多项式的拉宾概率算法的改进。 Zbl 0456.68034号 雅克·卡梅特；卢斯·吕迪格 三 1980 计算机代数和场论。 Zbl 1017.68952号 J.卡梅特。；西勒，W.M。 2 1998 统一域和抽象计算结构。 兹伯利0925.68246 J.卡梅特。；霍曼，K。；印度，Tjandra。 2 1993 关于量子场论中量子比特的公式。 Zbl 1255.81085号 雅克·卡梅特；泽维尔·卡梅特 2 2012 场理论的全局可积性。2006年11月1日至3日，英国达累斯伯里科克克罗夫特研究所，《2006年全球金融时报》会议记录。 Zbl 1170.37001号 2 2006 计算机代数应用。 Zbl 0494.68046号 J.卡梅特。；van Hulzen，J.A。 2 1982 计算机科学中的数学方法。纪念托马斯·贝思的文章。 兹比尔1154.68005 2 2008 定理证明器和计算机代数系统的规范和集成。 Zbl 0910.68194号 伯托利，P.G。；J.卡梅特。；金奇利亚，F。；霍曼，K。 2 1998 人工智能和符号数学计算。AISMC-1国际会议，德国卡尔斯鲁厄，1992年8月3-6日。诉讼程序。 Zbl 0825.00081号 1 1993 人工智能、自动推理和符号计算。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。 Zbl 0993.00048号 1 2002 面向代理的抽象。 Zbl 1103.68663号 雅克·卡梅特；皮埃尔·马雷特；雷金·恩德苏莱特 1 2004 用计算机评估重整化辐射修正的尝试。 兹伯利0219.65034 J.卡梅特。；佩罗特特，M。 1 1971 基于信息论的物理理论之间的距离。 Zbl 1209.81146号 雅克·卡梅特；泽维尔·卡梅特 1 2011 符号数学计算和人工智能的观点。 Zbl 1053.68930号 J.卡梅特。；J.A.坎贝尔。 1 1997 人工智能和符号数学计算。国际会议，AISMC-3，奥地利斯太尔，1996年9月23日至25日。诉讼程序。 Zbl 0853.68027号 1 1996 对符号数学计算和人工智能的重新审视。 Zbl 1286.68514号 雅克·卡梅特；约翰·坎贝尔（John A.Campbell）。 1 2010 关于量子场论中量子比特的公式。 Zbl 1255.81085号 雅克·卡梅特；泽维尔·卡梅特 2 2012 基于信息论的物理理论之间的距离。 Zbl 1209.81146号 雅克·卡梅特；泽维尔·卡梅特 1 2011 智能计算机数学。第10次国际会议，AISC 2010，第17次研讨会，Calculationmus 2010，以及第9次国际会议，MKM 2010，法国巴黎，2010年7月5日至10日。诉讼程序。 Zbl 1194.68011号 三 2010 对符号数学计算和人工智能的重新审视。 Zbl 1286.68514号 雅克·卡梅特；约翰·坎贝尔（John A.Campbell）。 1 2010 计算机科学中的数学方法。纪念托马斯·贝思的文章。 Zbl 1154.68005号 2 2008 场理论的全局可积性。2006年11月1日至3日，英国达累斯伯里科克克罗夫特研究所，《2006年全球金融时报》会议记录。 Zbl 1170.37001号 2 2006 面向代理的抽象。 Zbl 1103.68663号 雅克·卡梅特；皮埃尔·马雷特；雷金·恩德苏莱特 1 2004 人工智能、自动推理和符号计算。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。 Zbl 0993.00048号 1 2002 定理证明器和计算机代数系统的规范和集成。 兹比尔0951.68197 伯托利，P.G。；J.卡梅特。；金奇利亚，F。；霍曼，K。 4 1999 计算机代数和场论。 Zbl 1017.68952号 J.卡梅特。；西勒，W.M。 2 1998 定理证明器和计算机代数系统的规范和集成。 Zbl 0910.68194号 伯托利，P.G。；J.卡梅特。；金奇利亚，F。；霍曼，K。 2 1998 计算多值逻辑程序。 Zbl 0880.68014号 Lu、James J。；雅克·卡梅特；约阿希姆·舒尤 4 1997 走向数学软件总线。 Zbl 0893.68036号 雅克·卡梅特；卡斯滕·霍曼 4 1997 符号数学计算和人工智能的观点。 Zbl 1053.68930号 J.卡梅特。；J.A.坎贝尔。 1 1997 逻辑和符号计算系统的通信和协作机制分类。 Zbl 0894.68087号 雅克·卡梅特；卡斯滕·霍曼 7 1996 人工智能和符号数学计算。国际会议，AISMC-3，奥地利斯太尔，1996年9月23日至25日。诉讼程序。 Zbl 0853.68027号 1 1996 定理和算法：Isabelle和Maple之间的接口。 Zbl 0922.68080号 克莱门斯·巴拉林；卡斯滕·霍曼；雅克·卡梅特 19 1995 李伪群的算法方法。 兹比尔0803.58003 约阿希姆·舒尤；Werner M.塞勒。；雅克·卡梅特 5 1993 统一域和抽象计算结构。 Zbl 0925.68246号 J.卡梅特。；霍曼，K。；印度，Tjandra。 2 1993 人工智能和符号数学计算。AISMC-1国际会议，德国卡尔斯鲁厄，1992年8月3-6日。诉讼程序。 Zbl 0825.00081号 1 1993 GF（q）中的代数算法。 Zbl 0578.68033号 J.卡梅特。 4 1985 计算机代数。欧洲计算机代数会议，1982年4月5日至7日，法国马赛。 Zbl 0495.68005号 5 1982 计算机代数系统。 Zbl 0495.68035号 van Hulzen，J.A。；J.卡梅特。 4 1982 计算机代数应用。 Zbl 0494.68046号 J.卡梅特。；van Hulzen，J.A。 2 1982 GF（p）上生成不可约多项式的拉宾概率算法的改进。 Zbl 0456.68034号 雅克·卡梅特；卢斯·吕迪格 三 1980 用计算机评估重整化辐射修正的尝试。 Zbl 0219.65034号 J.卡梅特。；佩罗特特，M。 1 1971 所有引用出版物 前5名被引用出版物 全部的 前5名111位作者引用 6 雅克·卡梅特 4 Werner M.塞勒。 三 翁贝托·斯特拉契亚 三 约瑟夫·乌尔班 2 加布里埃尔·阿奎列拉·维内加斯 2 亚历山德罗·阿曼多 2 奥尔加·卡普洛蒂 2 亚历山德罗·科利奥 2 加兰·加西亚，何塞·路易斯 2 福斯托·金奇利亚 2 汉内·戈特利布森 2 乔纳森·赫拉斯 2 萨纳兹·汗·阿夫沙尔 2 迈克尔·科尔哈斯 2 Kyuregyan，Melsik K。 2 乌苏拉·马丁 2 维科·帕斯夸尔 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 塞迪基，昂山素季 2 索菲涅·塔哈尔 1 约翰·A·阿伯特。 1 杰西·阿拉玛 1 哈桑·阿尔沙尔 1 阿普尔比，医学博士。 1 文森特·阿拉万提诺斯 1 丹尼斯·S·阿诺。 1 伊万·阿滕西亚 1 维杰Balasubramanian 1 亨德里克·彼得·巴伦德雷格特 1 吉尔·巴特 1 丹尼尔·朱利叶斯·伯恩斯坦 1 安娜·玛丽亚·比加蒂 1 费尔南多·博比洛 1 卡斯珀·布林克 1 康托尔，大卫·杰弗里 1 陈晓宇 1 阿杰·马赛尔·科恩 1 大卫·德拉哈耶 1 塞萨尔·多明格斯 1 加布里埃尔·多斯·里斯 1 Cvetan Dunchev公司 1 Frank B.Estabrook。 1 莫赫塔尔·法莱克 1 Steven T.弗拉米亚。 1 雅克·弗莱里奥特。 1 安德烈亚斯·弗兰克 1 福斯，克里斯托弗·艾伦 1 加兰·加西亚，玛丽亚·安格尔 1 约瑟夫·杰拉西 1 露丝·哈迪 1 史蒂文·杰·哈林顿 1 奥斯曼·哈桑 1 乔纳森·赫克曼。 1 威利·赫里曼（Willy A.Hereman）。 1 Alistair D.C.霍尔顿。 1 卡斯滕·霍曼 1 米尼亚·伊恩库 1 冈萨洛·伊玛兹（Gonzalo E.Imaz）。 1 拉斐尔·乔利 1 Cezary卡利西克 1 汤姆·凯尔西 1 海因茨·克雷德尔 1 马丁·克鲁泽 1 Laureano Lambán 1 摩根·勒戈夫 1 罗伯特·刘易斯。 1 李丽明 1 李，岳 1 丹尼尔·利达（Daniel A.Lidar）。 1 鲁道夫·利德尔 1 奥尔加·莱特福特 1 Yann Loyer 1 尼科拉斯·马德里 1 穆罕默德·尤斯里·马哈茂德 1 比瓦什Majumder 1 亚历山大·马洛尼 1 莱昂内尔·伊利·马曼 1 古塔姆·曼纳 1 Martín-Mateos，弗朗西斯科·耶苏斯 1 米凯拉·梅耶罗 1 塞伊德·梅赫拉比 1 劳拉·I·梅克尔。 1 艾丽卡·梅利斯 1 马哈茂德·梅拉德 1 帕特里克·L·米尔斯。 1 帕特里斯·诺丁 1 奥斯蒂克（Oostdijk）、马蒂恩·迪德里克（Martijn Diederik） 1 尤兰达帕迪拉·多明格斯 1 丹尼尔·帕纳里奥 1 理查德·帕维尔 1 基特，克劳德 1 弗洛里安·拉贝 1 西尔维奥·兰伊斯 1 雷·塞巴尔 1 尤金尼奥·罗内斯·洛扎诺 1 罗比亚诺，洛伦佐 1 佩德罗·罗德里格斯·西洛斯 1 巴勃罗·罗德里格斯-帕迪利亚 1 马克·鲁伊斯 1 乌迈尔·西迪克 …还有11位作者 全部的 前5名25篇连载文章中引用 11 符号计算杂志 三 数学物理杂志 三 模拟中的数学和计算机 三 自动推理杂志 三 工程、通信和计算中的应用代数 三 数学与人工智能年鉴 2 模糊集与系统 2 计算与应用数学杂志 2 理论计算机科学 2 数学和计算机建模 1 人工智能 1 计算机与数学及其应用 1 离散数学 1 广义相对论与引力 1 计算物理学杂志 1 计算数学 1 Physik的Fortschritte 1 数学应用学报 1 计算的形式方面 1 有限域及其应用 1 新物理学杂志 1 RAIRO公司。理论信息学及其应用 1 高能物理杂志 1 计算机科学中的数学 1 数论研究 全部的 前5名27个领域被引用 45 计算机科学（68至XX） 9 数论（11-XX） 8 量子理论（81-XX） 6 数学逻辑和基础（03-XX） 三 场论和多项式（12-XX） 三 常微分方程（34-XX） 三 数值分析（65-XX） 三 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 2 群论与推广（20-XX） 2 拓扑群、李群（22日至XX日） 2 偏微分方程（35-XX） 2 整体分析，流形分析（58至XX） 2 粒子和系统力学（70-XX） 2 相对论和引力理论（83-XX） 1 组合数学（05-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 非结合环与代数（17-XX） 1 特殊功能（33至XX） 1 功能分析（46倍X倍） 1 概率论与随机过程（60-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文