×

兹马思-数学第一资源

英格兰,马修

计算距离:
作者ID: 英格兰。马修最近的zbMATH文章由“英格兰,马修”
发布为: 英格兰,马修;英格兰,M。
外部链接: 半兽人
编制索引的文档: 41种出版物自2009年以来,包括3本书

按年份列出的出版物

zbMATH公开赛中包含的引文

30出版物有被引用146时间43份文件 引用人
真值表不变柱面代数分解。 Zbl 1351.68314号
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;麦卡伦,斯科特;威尔逊,大卫
13
2016
布尔组合的圆柱代数分解。 Zbl 1359.68327
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;麦卡伦,斯科特;威尔逊,大卫
13
2013
联合国安全理事会\(^2”):满足性检查符合符号计算(项目文件)。 Zbl 1344.68198
Ábrahám,埃里卡;阿伯特,约翰;贝克,伯纳德;比加迪,安娜·M。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;达文波特,詹姆斯H。;英格兰,马修;方丹,帕斯卡;福利斯,斯蒂芬;艾伯塔,格里戈;科隆,丹尼尔;塞勒,沃纳M。;斯图姆,托马斯
11
2016
圆柱代数分解的优化问题列式。 Zbl 1390.68775
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;威尔逊,大卫
9
2013
改进柱面代数分解中等式约束的使用。 Zbl 1346.68283号
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。
9
2015
真值表不变的正则链柱代数分解。 Zbl 1350.68293
布拉德福德,拉塞尔;陈昌波;达文波特,詹姆斯H。;英格兰,马修;莫雷诺马扎,马克;威尔逊,大卫
8
2014
圆柱代数子分解。 Zbl 1309.68232
威尔逊,D。J。;布拉德福德,R。J。;达文波特,J。H。;英格兰,M。
8
2014
与属六的循环四方曲线有关的阿贝尔函数。 Zbl 1157.14303
英格兰,M。;艾尔贝克,J。C。
7
2009
利用正则链库,通过投影和提升建立圆柱代数分解。 Zbl 1437.14008号
英格兰,马修;威尔逊,大卫;布拉德福德,拉塞尔;达文波特,詹姆斯H。
7
2014
将机器学习应用于圆柱代数分解的启发式选择问题。 Zbl 1304.68224
黄宗炎;英格兰,马修;威尔逊,大卫;达文波特,詹姆斯H。;保尔森,劳伦斯·C。;布里奇,詹姆斯
7
2014
六边形方程的循环约化。 Zbl 1184.14059号
英格兰,M。;吉本斯,J。
6
2009
真值表不变柱代数分解的增量三角分解问题列式。 Zbl 1304.68223
英格兰,马修;布拉德福德,拉塞尔;陈昌波;达文波特,詹姆斯H。;玛莎,马克·莫雷诺;威尔逊,大卫
6
2014
与循环三角曲线相关的高属阿贝尔函数。 Zbl 1188.14019号
英格兰,马修
5
2010
与亏格三代数曲线有关的交换函数。 Zbl 1304.14042号
艾尔贝克,J。C。;英格兰,M。;Ônishi,Y。
5
2011
用增量三角分解法选择真值表不变柱代数分解的变量序。 Zbl 1350.68294
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。;威尔逊,大卫
4
2014
关于多项式次数的圆柱代数分解的复杂性。 Zbl 1453.13079号
英格兰,马修;达文波特,詹姆斯H。
4
2016
生物网络多稳态参数区域的符号与数值计算与可视化。 Zbl 1455.92058
英格兰,马修;埃拉米,哈桑;格里戈里耶夫,迪玛;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯
4
2017
理解表达式的分支切割。 兹布1390.68777
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。;威尔逊,大卫
2013
求交换函数的基。 Zbl 1256.14027号
英格兰,马修
2
2011
TheoryGuru:Mathematica软件包,将量词消除技术应用于经济学。 兹布1395.68350
穆利根,凯西B。;达文波特,詹姆斯H。;英格兰,马修
2
2018
识别某些生物网络多稳态的参数发生。 Zbl 1442.92056
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;埃拉米,哈桑;格特,弗拉基米尔;格里戈里耶夫,迪玛;霍伊特,查尔斯;科斯塔,马雷克;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯
2
2020
编辑:符号计算和可满足性检验。 Zbl 1444.68006
达文波特,詹姆斯H。(编辑);英格兰,马修(编辑);艾伯塔,格里戈(编辑);斯图姆,托马斯(编辑);蒂内利,塞萨尔(编辑)
2
2020
多稳态参数发生的实例研究。 Zbl 1444.92034
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;埃拉米,哈桑;格特,弗拉基米尔;格里戈里耶夫,迪玛;霍伊特,查尔斯;科斯塔,马雷克;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯
2
2017
用广义Baker-Hirota算子构造交换函数。 Zbl 1242.14027号
英格兰,马修;阿托恩,克里斯
1
2012
数学软件的机器学习。 Zbl 1395.68231
英格兰,马修
1
2018
真实几何推理的最新进展。 Zbl 1434.68701
达文波特,詹姆斯H。;英格兰,马修
1
2015
多项式系统需要双指数吗? Zbl 1434.68702号
达文波特,詹姆斯H。;英格兰,马修
1
2016
枫树17的树枝。 Zbl 1369.68358号
英格兰,M。;切布,泰瑞。;布拉德福德,R。;达文波特,J。H。;威尔逊,D。
1
2014
比较机器学习模型选择圆柱代数分解的变量排序。 Zbl 1428.68399
英格兰,马修;弗洛雷斯库,道林
1
2019
带等式约束的圆柱代数分解。 Zbl 1432.68599号
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。
1
2020
识别某些生物网络多稳态的参数发生。 Zbl 1442.92056
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;埃拉米,哈桑;格特,弗拉基米尔;格里戈里耶夫,迪玛;霍伊特,查尔斯;科斯塔,马雷克;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯
2
2020
编辑:符号计算和可满足性检验。 Zbl 1444.68006
达文波特,詹姆斯H。;英格兰,马修;艾伯塔,格里戈;斯图姆,托马斯;蒂内利,塞萨尔
2
2020
带等式约束的圆柱代数分解。 Zbl 1432.68599号
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。
1
2020
比较机器学习模型选择圆柱代数分解的变量排序。 Zbl 1428.68399
英格兰,马修;弗洛雷斯库,道林
1
2019
TheoryGuru:Mathematica软件包,将量词消除技术应用于经济学。 兹布1395.68350
穆利根,凯西B。;达文波特,詹姆斯H。;英格兰,马修
2
2018
数学软件的机器学习。 Zbl 1395.68231
英格兰,马修
1
2018
生物网络多稳态参数区域的符号与数值计算与可视化。 Zbl 1455.92058
英格兰,马修;埃拉米,哈桑;格里戈里耶夫,迪玛;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯
4
2017
多稳态参数发生的实例研究。 Zbl 1444.92034
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;埃拉米,哈桑;格特,弗拉基米尔;格里戈里耶夫,迪玛;霍伊特,查尔斯;科斯塔,马雷克;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯
2
2017
真值表不变柱面代数分解。 Zbl 1351.68314号
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;麦卡伦,斯科特;威尔逊,大卫
13
2016
联合国安全理事会\(^2”):满足性检查符合符号计算(项目文件)。 Zbl 1344.68198
Ábrahám,埃里卡;阿伯特,约翰;贝克,伯纳德;比加迪,安娜·M。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;达文波特,詹姆斯H。;英格兰,马修;方丹,帕斯卡;福利斯,斯蒂芬;艾伯塔,格里戈;科隆,丹尼尔;塞勒,沃纳M。;斯图姆,托马斯
11
2016
关于多项式次数的圆柱代数分解的复杂性。 Zbl 1453.13079号
英格兰,马修;达文波特,詹姆斯H。
4
2016
多项式系统需要双指数吗? Zbl 1434.68702号
达文波特,詹姆斯H。;英格兰,马修
1
2016
改进柱面代数分解中等式约束的使用。 Zbl 1346.68283号
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。
9
2015
真实几何推理的最新进展。 Zbl 1434.68701
达文波特,詹姆斯H。;英格兰,马修
1
2015
真值表不变的正则链柱代数分解。 Zbl 1350.68293
布拉德福德,拉塞尔;陈昌波;达文波特,詹姆斯H。;英格兰,马修;莫雷诺马扎,马克;大卫·威尔逊
8
2014
圆柱代数子分解。 Zbl 1309.68232
威尔逊,D。J。;布拉德福德,R。J。;达文波特,J。H。;英格兰,M。
8
2014
利用正则链库,通过投影和提升建立圆柱代数分解。 Zbl 1437.14008号
英格兰,马修;威尔逊,大卫;布拉德福德,拉塞尔;达文波特,詹姆斯H。
7
2014
将机器学习应用于圆柱代数分解的启发式选择问题。 Zbl 1304.68224
黄宗炎;英格兰,马修;威尔逊,大卫;达文波特,詹姆斯H。;保尔森,劳伦斯·C。;布里奇,詹姆斯
7
2014
真值表不变柱代数分解的增量三角分解问题列式。 Zbl 1304.68223
英格兰,马修;布拉德福德,拉塞尔;陈昌波;达文波特,詹姆斯H。;玛莎,马克·莫雷诺;威尔逊,大卫
6
2014
用增量三角分解法选择真值表不变柱代数分解的变量序。 Zbl 1350.68294
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。;威尔逊,大卫
4
2014
枫树17的树枝。 Zbl 1369.68358号
英格兰,M。;切布地形,E。;布拉德福德,R。;达文波特,J。H。;威尔逊,D。
1
2014
布尔组合的圆柱代数分解。 Zbl 1359.68327
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;麦卡伦,斯科特;威尔逊,大卫
13
2013
圆柱代数分解的优化问题列式。 Zbl 1390.68775
布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;威尔逊,大卫
9
2013
理解表达式的分支切割。 兹布1390.68777
英格兰,马修;布拉德福德,拉塞尔;达文波特,詹姆斯H。;威尔逊,大卫
2013
用广义Baker-Hirota算子构造交换函数。 Zbl 1242.14027号
英格兰,马修;阿托恩,克里斯
1
2012
与亏格三代数曲线有关的交换函数。 Zbl 1304.14042号
艾尔贝克,J。C。;英格兰,M。;Ônishi,Y。
5
2011
求交换函数的基。 Zbl 1256.14027号
英格兰,马修
2
2011
与循环三角曲线相关的高属阿贝尔函数。 Zbl 1188.14019号
英格兰,马修
5
2010
与属六的循环四方曲线有关的阿贝尔函数。 Zbl 1157.14303
英格兰,M。;艾尔贝克,J。C。
7
2009
Benney方程的一个属六循环四方约化。 Zbl 1184.14059号
英格兰,M。;吉本斯,J。
6
2009
全部的 前5名

79位作者引用

16 英格兰,马修
15 达文波特,詹姆斯·哈罗德
5 布拉德福德,拉塞尔J。
5 威尔逊,大卫J。
4 Ábrahám,埃里卡
4 聪明,柯蒂斯
4 加内什,维杰
4 科茨里亚斯,伊利亚斯。
阿托恩,克里斯
耿祥国
艾伯塔,格里戈
洪,勋
麦卡伦,斯科特
翟云云
2 阿伯特,约翰A。
2 贝克,伯纳德
2 比加迪,安娜·玛丽亚
2 布莱恩,马丁
2 詹姆斯·布里奇。
2 布赫伯格,布鲁诺
2 陈昌波
2 亚历山德罗·西马蒂
2 方丹,帕斯卡
2 福利斯,斯蒂芬
2 格里戈耶夫,德米特里·尤尔耶维奇
2 黄宗炎
2 克莱默,格雷恩
2 科宁,丹尼尔
2 莫雷诺马扎,马克
2 保尔森,劳伦斯·查尔斯
2 塞勒,沃纳M。
2 韦伯,安德烈亚斯·居特
1 阿奈,广和
1 Arai,Noriko H。
1 伯纳茨卡,茱莉亚
1 布朗,克里斯托弗W。
1 切斯诺科夫,亚历山大A。
1 张凯文。H。
1 奥科维奇,德拉戈米尔。
1 艾尔贝克,约翰·克里斯
1 埃勒,基诺
1 伊诺尔斯基,维克托·泽利科维奇
1 埃拉·库姆·德·利娜
1 埃拉米,哈桑
1 费利乌,伊莉森达
1 福卡斯库,琉球
1 格特,弗拉基米尔P。
1 何国梁
1 海纳,艾伯特
1 霍伊特,查尔斯
1 Iosif,亚历山德罗
1 伊湾,希德瑙
1 杰克逊,保罗B。
1 约翰逊,泰勒T。
1 小林町
1 科斯塔,马雷克
1 工藤,朱玛
1 列利托,亚历山德拉
1 莱金,德米特里
1 李奇布拉,丹尼尔A。
1 松崎,Takuya
1 莫罗佐夫,奥列格一世。
1 帕鲁辛斯基,亚当
1 鲍内斯库,劳伦斯
1 巴甫洛夫,马克西姆五世。
1 拉杜列斯库,奥维迪乌
1 哈米德·拉库伊
1 罗伊,多米尼克
1 萨德吉曼什,阿米罗森
1 索戈孔,安德鲁
1 史蒂文斯,布雷特
1 铃木,乔
1 唐小仙
1 蒂内利,塞萨尔
1 费尔南多·恩里奎兹谷
1 魏,娇
1 夏碧灿
1 薛波
1 詹,益阳

按年份列出的引文