×
作者ID: 戴维斯·贾里德“Davis,Jared”最近发表的zbMATH文章
发布日期: 贾里德·戴维斯
已编制索引的文档: 7出版物自1975年起
1名编辑贡献
合著者: 1位合著者具有3联合出版物
20位合作作者

按年份列出的出版物

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

按年份列出的引文