编辑配置文件(在新选项卡中打开) 贾里德·戴维斯 合著者距离 作者ID: 戴维斯·贾里德 发布日期: 贾里德·戴维斯 已编制索引的文档: 7出版物自1975年起 1名编辑贡献 合著者: 1位合著者具有3联合出版物 20位合作作者 全部的 前5名合著者 0 单作者的 三 玛格努斯·奥·米林。 1 鲁本·甘博阿(Ruben A.Gamboa)。 1 阿鲁纳瓦·穆克赫耶 1 马米达拉·拉穆鲁 1 塞德里克·泰勒 1 乔治·亚迪加罗格鲁 全部的 前5名系列 1 计算机和流体 1 国际传热传质杂志 1 多元分析杂志 1 梅卡尼卡 1 自动推理杂志 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 4 计算机科学(68-XX) 2 流体力学(76-XX) 1 总体主题;集合(00-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 可变形固体力学(74-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用19中的次16文件 引用人▼ 年份▼ 潮汐和长波传播——有限元方法。 Zbl 0345.76009号 C.泰勒。;J·戴维斯。 9 1975 反射式Milawa定理证明器是可靠的(直到运行它的机器代码)。 Zbl 1356.68186号 贾里德·戴维斯;玛格努斯·奥·米林。 8 2015 经过验证的定理证明器的经过验证的运行时。 Zbl 1342.68297号 玛格努斯·奥·米林。;贾里德·戴维斯 6 2011 通过最小值分布识别参数:负相关的三变量正态情况。 Zbl 1119.60008号 J·戴维斯。;Mukherjea,A。 5 2007 反射式Milawa定理证明器是可靠的(直到运行它的机器代码)。 Zbl 1416.68174号 玛格努斯·奥·米林。;贾里德·戴维斯 5 2014 Hiemenz流动边界层中的直接接触冷凝。 Zbl 1045.76579号 J·戴维斯。;亚迪加罗格鲁,G。 2 2004 基于组合应力的普拉格屈服准则,对各向同性材料喷丸引起的残余应力进行了研究。 Zbl 1329.74046号 J·戴维斯。;M.拉穆鲁。 1 2015 反射式Milawa定理证明器是可靠的(直到运行它的机器代码)。 Zbl 1356.68186号 贾里德·戴维斯;玛格努斯·奥·米林。 8 2015 基于组合应力的普拉格屈服准则,对各向同性材料喷丸引起的残余应力进行了研究。 Zbl 1329.74046号 J·戴维斯。;M.拉穆鲁。 1 2015 反映Milawa定理的证明是合理的(归根结底是运行它的机器代码)。 Zbl 1416.68174号 玛格努斯·奥·米林。;贾里德·戴维斯 5 2014 已验证定理证明器的已验证运行时。 Zbl 1342.68297号 玛格努斯·奥·米林。;贾里德·戴维斯 6 2011 通过最小值分布识别参数:负相关的三变量正态情况。 Zbl 1119.60008号 J·戴维斯。;Mukherjea,A。 5 2007 Hiemenz流动边界层中的直接接触冷凝。 Zbl 1045.76579号 J·戴维斯。;亚迪加罗格鲁,G。 2 2004 潮汐和长波传播——有限元方法。 Zbl 0345.76009号 泰勒,C。;J·戴维斯。 9 1975 所有引用出版物 前5名被引用出版物 全部的 前5名28位作者引用 5 玛格努斯·奥·米林。 三 拉马纳·库马尔 2 奥曼·波霍拉,约翰内斯 2 Anthony C.J.福克斯。 2 昆查尔,Ondřej 2 斯科特·欧文斯 2 安德烈·波佩斯库 2 亚当·桑德伯格·爱立信 1 奥斯卡·亚伯拉罕森 1 马克·亚当斯 1 罗布·D·阿尔森。 1 大卫·卡切拉 1 贾里德·戴维斯 1 德尔芬·德曼吉 1 本雅·法伦斯坦 1 Thibault Gauthier 1 苏雷什·贾甘纳森 1 塞萨里·卡利西克 1 摩尔,J·斯特罗瑟 1 托比亚斯·尼普科 1 诺里斯,迈克尔 1 古斯塔沃·佩特里 1 大卫·皮哈迪 1 西蒙,罗ß科普夫 1 安德斯·施利奇特克鲁尔 1 Tan,Yong Kiam先生 1 维泰克,简 1 扬尼克·扎科夫斯基 5篇连载文章中引用 7 自动推理杂志 1 符号计算杂志 1 计算的形式方面 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 16 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 按年份列出的引文