×
作者ID: 英格兰马修“英格兰,马修”最近发表的zbMATH文章
发布日期: 英格兰,马修英格兰,M。
外部链接: 逆戟鲸
已编制索引的文档: 46出版物自2009年起,包括3个附加arXiv预打印
11作为编辑的贡献
合著者: 56位合著者具有53联合出版物
1414位合作作者
全部的 前5名

合著者

4 单作者的
28 詹姆斯·哈罗德·达文波特
15 罗素·J·布拉德福德。
12 大卫·威尔逊。
10 托马斯·斯特姆
9 帖木儿·姆拉多维奇·萨迪科夫
7 弗朗索瓦·布利埃
5 沃罗佐佐夫,叶夫根尼五世。
4 艾丽卡·阿尔布拉汉姆
4 Werner M.塞勒。
约翰·克里斯·艾尔贝克
哈桑·埃拉米
多里安·弗洛雷斯库
阿尔贝托·格里乔
德米特里·格里戈列夫
斯科特·麦卡勒姆
奥维迪乌·拉杜列斯库
阿米尔·霍森·萨德吉马内什
安德烈亚斯·古恩特·韦伯
2 约翰·A·阿伯特。
2 克里斯·阿索恩
2 贝恩德·贝克尔
2 安娜·玛丽亚·比加蒂
2 布莱恩,马丁
2 詹姆斯·布里奇。
2 布赫伯格,布鲁诺
2 陈昌波
2 亚历山德罗·西马蒂
2 帕斯卡·方丹
2 史蒂芬·福雷斯特
2 弗拉基米尔·彼得罗维奇·格特
2 查尔斯·塔普利·霍伊特
2 黄宗岩
2 沃尔夫拉姆·科普夫(Wolfram A.Koepf)。
2 马雷克·科什塔
2 丹尼尔·科宁
2 马克·莫雷诺·马扎
2 Ô尼西,吉弘
2 劳伦斯·查尔斯·保尔森
2 阿里·凯末尔·恩库
1 克里斯托弗·布朗(Christopher W.Brown)。
1 Cheb Terrab,Edgardo S。
1 科恩、凯利
1 亚历山大·伊马尼·科文·里弗斯
1 德尔·里奥·阿尔马亚诺,特雷索
1 德尔·雷奥,特雷索
1 简·赫尔曼·杰弗斯
1 约翰·吉本斯
1 科齐里亚斯(Ilias S.Kotsireas)。
1 基里恩·克莱默
1 凯西·B·穆利根。
1 贾斯珀·纳尔巴赫
1 林恩·皮克林
1 弗洛里安·拉贝
1 菲利普·斯佩克特
1 奥拉夫·特施克
1 塞萨尔·蒂内利

按年份列出的出版物

zbMATH Open中包含的引文

39出版物有被引用276中的次87文件 引用人 年份
真值表不变量柱面代数分解。 Zbl 1351.68314号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修斯科特·麦卡勒姆大卫·威尔逊
22
2016
优化圆柱代数分解的问题公式。 兹比尔1390.68775
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修大卫·威尔逊
15
2013
将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 Zbl 1304.68224号
黄宗岩英格兰,马修大卫·威尔逊詹姆斯·H·达文波特。劳伦斯·C·鲍尔森。詹姆斯·布里奇
15
2014
布尔组合的柱面代数分解。 Zbl 1359.68327号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修斯科特·麦卡勒姆大卫·威尔逊
14
2013
多稳态参数发生的案例研究。 Zbl 1444.92034号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修哈桑·埃拉米弗拉基米尔·格特迪马·格里戈里耶夫查尔斯·霍伊特马雷克·科什塔奥维迪乌·拉杜列斯库托马斯·斯特姆安德烈亚斯·韦伯
13
2017
联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 Zbl 1344.68198号
艾丽卡·阿尔布拉汉姆约翰·阿伯特贝恩德·贝克尔安娜·比加蒂(Anna M.Bigatti)。布莱恩,马丁布赫伯格,布鲁诺亚历山德罗·西马蒂詹姆斯·H·达文波特。英格兰,马修帕斯卡·方丹史蒂芬·福雷斯特阿尔贝托·格里乔丹尼尔·克罗宁Werner M.塞勒。托马斯·斯特姆
13
2016
比较机器学习模型以选择圆柱代数分解的变量顺序。 Zbl 1428.68399号
英格兰,马修多里安·弗洛雷斯库
12
2019
改进柱面代数分解中等式约束的使用。 Zbl 1346.68283号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。
12
2015
正则链的真值表不变柱面代数分解。 Zbl 1350.68293号
布拉德福德,拉塞尔陈昌波詹姆斯·H·达文波特。英格兰,马修马克·莫雷诺·马扎大卫·威尔逊
11
2014
使用机器学习改进柱面代数分解。 Zbl 1474.68464号
黄宗岩英格兰,马修大卫·威尔逊。詹姆斯·布里奇詹姆斯·H·达文波特。劳伦斯·C·鲍尔森。
10
2019
生物网络多稳态参数区域的符号与数值计算及可视化。 Zbl 1455.92058号
英格兰,马修哈桑·埃拉米迪马·格里戈里耶夫奥维迪乌·拉杜列斯库托马斯·斯特姆安德烈亚斯·韦伯
10
2017
带等式约束的柱面代数分解。 Zbl 1432.68599号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。
10
2020
识别某些生物网络的多个稳态的参数发生。 Zbl 1442.92056号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修哈桑·埃拉米弗拉基米尔·格特迪马·格里戈里耶夫查尔斯·霍伊特马雷克·科什塔奥维迪乌·拉杜列斯库托马斯·斯特姆安德烈亚斯·韦伯
9
2020
圆柱形代数子分解。 兹比尔1309.68232
D.J.威尔逊。R.J.布拉德福德。J.H.达文波特。英格兰,M。
9
2014
与属6的循环四方曲线相关的阿贝尔函数。 Zbl 1157.14303号
英格兰,M。J.C.艾尔贝克。
9
2009
使用正则链库通过投影和提升来构建圆柱形代数分解。 Zbl 1437.14008号
英格兰,马修大卫·威尔逊布拉德福德,拉塞尔詹姆斯·H·达文波特。
8
2014
通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 Zbl 1304.68223号
英格兰,马修布拉德福德,拉塞尔陈昌波詹姆斯·H·达文波特。玛扎,马克·莫雷诺大卫·威尔逊
8
2014
使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 兹比尔1509.68243
艾丽卡·阿尔布拉汉姆詹姆斯·H·达文波特。英格兰,马修基里恩·克莱默
8
2021
柱代数分解相对于多项式次数的复杂性。 Zbl 1453.13079号
英格兰,马修詹姆斯·H·达文波特。
7
2016
Benney方程的一类六次循环四方约化。 Zbl 1184.14059号
英格兰,M。J·吉本斯。
6
2009
通过增量三角分解为真稳定不变柱面代数分解选择变量排序。 Zbl 1350.68294号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。大卫·威尔逊
6
2014
TheoryGuru:将量词消除技术应用于经济学的Mathematica软件包。 Zbl 1395.68350号
凯西·B·穆利根。詹姆斯·H·达文波特。英格兰,马修
6
2018
与循环三角曲线相关的高亏格阿贝尔函数。 Zbl 1188.14019号
英格兰,马修
5
2010
理解表达式的分支切割。 Zbl 1390.68777号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。大卫·威尔逊
5
2013
与亏格三代数曲线相关的阿贝尔函数。 兹比尔1304.14042
J.C.艾尔贝克。英格兰,M。Ô尼西,Y。
5
2011
数学软件的机器学习。 Zbl 1395.68231号
英格兰,马修
5
2018
改进了分类器的交叉验证,分类器可以进行算法选择,从而在不影响输出正确性的情况下最小化运行时。 Zbl 07441081号
多里安·弗洛雷斯库英格兰,马修
5
2020
社论:符号计算和可满足性检查。 Zbl 1444.68006号
4
2020
多项式系统需要是双指数的吗? Zbl 1434.68702号
詹姆斯·H·达文波特。英格兰,马修
2016
阿贝尔函数的导出基。 Zbl 1256.14027号
英格兰,马修
2
2011
一种基于机器学习的软件管道,用于为具有多项式输入的算法选择变量排序。 Zbl 1503.68311号
多里安·弗洛雷斯库英格兰,马修
1
2020
基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 Zbl 1514.68323号
德尔·雷奥,特雷索英格兰,马修
1
2022
用广义Baker-Hirota算子构造阿贝尔函数。 Zbl 1242.14027号
英格兰,马修克里斯·阿索恩
1
2012
广义椭圆函数。 Zbl 1258.14038号
英格兰,马修克里斯·阿索恩
1
2012
具有等式约束的SC平方CAD的潜力和挑战。 Zbl 1497.68583号
詹姆斯·H·达文波特。英格兰,马修
1
2017
枫树17的枝条被剪断。 Zbl 1369.68358号
英格兰,M。Cheb Terrab,E。R.布拉德福德。J.H.达文波特。D.威尔逊。
1
2014
智能计算机数学。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。 Zbl 1364.68010号
1
2017
真实几何推理的最新进展。 Zbl 1434.68701号
詹姆斯·H·达文波特。英格兰,马修
1
2015
DEWCAD项目:推回柱面代数分解的双指数墙。 Zbl 07581910号
R.布拉德福德。J.H.达文波特。英格兰,M。Sadeghimanesh,A。恩库,A。
1
2021
基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 Zbl 1514.68323号
德尔·雷奥,特雷索英格兰,马修
1
2022
使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 兹比尔1509.68243
艾丽卡·阿尔布拉汉姆詹姆斯·H·达文波特。英格兰,马修基里恩·克莱默
8
2021
DEWCAD项目:推回柱面代数分解的双指数墙。 Zbl 07581910号
R.布拉德福德。J.H.达文波特。英格兰,M。Sadeghimanesh,A。恩库,A。
1
2021
带等式约束的柱面代数分解。 Zbl 1432.68599号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。
10
2020
识别某些生物网络的多个稳态的参数发生。 Zbl 1442.92056号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修哈桑·埃拉米弗拉基米尔·格特迪马·格里戈里耶夫查尔斯·霍伊特马雷克·科什塔奥维迪乌·拉杜列斯库托马斯·斯特姆安德烈亚斯·韦伯
9
2020
改进了分类器的交叉验证,分类器可以进行算法选择,从而在不影响输出正确性的情况下最小化运行时。 Zbl 07441081号
多里安·弗洛雷斯库英格兰,马修
5
2020
社论:符号计算和可满足性检查。 Zbl 1444.68006号
4
2020
一种基于机器学习的软件管道,用于选择多项式输入算法的变量顺序。 Zbl 1503.68311号
多里安·弗洛雷斯库英格兰,马修
1
2020
比较机器学习模型以选择圆柱代数分解的变量顺序。 Zbl 1428.68399号
英格兰,马修多里安·弗洛雷斯库
12
2019
使用机器学习改进柱面代数分解。 Zbl 1474.68464号
黄宗岩英格兰,马修大卫·威尔逊。詹姆斯·布里奇詹姆斯·H·达文波特。劳伦斯·C·鲍尔森。
10
2019
TheoryGuru:将量词消除技术应用于经济学的Mathematica软件包。 Zbl 1395.68350号
凯西·B·穆利根。詹姆斯·H·达文波特。英格兰,马修
6
2018
数学软件的机器学习。 Zbl 1395.68231号
英格兰,马修
5
2018
多稳态参数发生的案例研究。 Zbl 1444.92034号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修哈桑·埃拉米弗拉基米尔·格特迪马·格里戈里耶夫查尔斯·霍伊特马雷克·科什塔奥维迪乌·拉杜列斯库托马斯·斯特姆安德烈亚斯·韦伯
13
2017
生物网络多稳态参数区域的符号与数值计算及可视化。 兹比尔1455.92058
英格兰,马修哈桑·埃拉米迪马·格里戈里耶夫奥维迪乌·拉杜列斯库托马斯·斯特姆安德烈亚斯·韦伯
10
2017
具有等式约束的SC平方CAD的潜力和挑战。 Zbl 1497.68583号
詹姆斯·H·达文波特。英格兰,马修
1
2017
智能计算机数学。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。 Zbl 1364.68010号
1
2017
真值表不变量柱面代数分解。 Zbl 1351.68314号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修斯科特·麦卡勒姆大卫·威尔逊
22
2016
联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 Zbl 1344.68198号
艾丽卡·阿尔布拉汉姆约翰·阿伯特贝恩德·贝克尔安娜·比加蒂(Anna M.Bigatti)。布莱恩,马丁布赫伯格,布鲁诺亚历山德罗·西马蒂詹姆斯·H·达文波特。英格兰,马修帕斯卡·方丹史蒂芬·福雷斯特阿尔贝托·格里乔丹尼尔·克罗宁Werner M.塞勒。托马斯·斯特姆
13
2016
柱代数分解相对于多项式次数的复杂性。 Zbl 1453.13079号
英格兰,马修詹姆斯·H·达文波特。
7
2016
多项式系统需要是双指数的吗? Zbl 1434.68702号
詹姆斯·H·达文波特。英格兰,马修
2016
改进柱面代数分解中等式约束的使用。 Zbl 1346.68283号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。
12
2015
真实几何推理的最新进展。 Zbl 1434.68701号
詹姆斯·H·达文波特。英格兰,马修
1
2015
将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 Zbl 1304.68224号
黄宗岩英格兰,马修威尔逊,大卫詹姆斯·H·达文波特。劳伦斯·C·鲍尔森。詹姆斯·布里奇
15
2014
正则链的真值表不变柱面代数分解。 Zbl 1350.68293号
布拉德福德,拉塞尔陈昌波詹姆斯·H·达文波特。英格兰,马修马克·莫雷诺·马扎大卫·威尔逊
11
2014
圆柱形代数子分解。 兹比尔1309.68232
D.J.威尔逊。R.J.布拉德福德。J.H.达文波特。英格兰,M。
9
2014
使用正则链库通过投影和提升来构建圆柱形代数分解。 Zbl 1437.14008号
英格兰,马修大卫·威尔逊布拉德福德,拉塞尔詹姆斯·H·达文波特。
8
2014
通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 Zbl 1304.68223号
英格兰,马修布拉德福德,拉塞尔陈昌波詹姆斯·H·达文波特。玛扎,马克·莫雷诺大卫·威尔逊
8
2014
通过增量三角分解为真值表不变圆柱代数分解选择变量排序。 Zbl 1350.68294号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。大卫·威尔逊
6
2014
枫树17的枝条被剪断。 Zbl 1369.68358号
英格兰,M。Cheb-Terrab,E.公司。R.布拉德福德。J.H.达文波特。D.威尔逊。
1
2014
优化圆柱代数分解的问题公式。 Zbl 1390.68775号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修大卫·威尔逊
15
2013
布尔组合的柱面代数分解。 Zbl 1359.68327号
布拉德福德,拉塞尔詹姆斯·H·达文波特。英格兰,马修斯科特·麦卡勒姆大卫·威尔逊
14
2013
理解表达式的分支切割。 Zbl 1390.68777号
英格兰,马修布拉德福德,拉塞尔詹姆斯·H·达文波特。大卫·威尔逊
5
2013
用广义Baker-Hirota算子构造阿贝尔函数。 Zbl 1242.14027号
英格兰,马修克里斯·阿索恩
1
2012
广义椭圆函数。 Zbl 1258.14038号
英格兰,马修克里斯·阿索恩
1
2012
与亏格三代数曲线相关的阿贝尔函数。 兹比尔1304.14042
J.C.艾尔贝克。英格兰,M。Ô尼西,Y。
5
2011
阿贝尔函数的导出基。 Zbl 1256.14027号
英格兰,马修
2
2011
与循环三角曲线相关的高亏格阿贝尔函数。 Zbl 1188.14019号
英格兰,马修
5
2010
与属6的循环四方曲线相关的阿贝尔函数。 Zbl 1157.14303号
英格兰,M。J.C.艾尔贝克。
9
2009
Benney方程的一类六次循环四方约化。 Zbl 1184.14059号
英格兰,M。J·吉本斯。
6
2009
全部的 前5名

163位作者引用

21 詹姆斯·哈罗德·达文波特
21 英格兰,马修
8 托马斯·斯特姆
5 艾丽卡·阿尔布拉汉姆
5 罗素·J·布拉德福德。
5 布莱特,柯蒂斯
5 陈昌波
5 维杰·加内什
5 耿祥国
5 阿尔贝托·格里乔
5 科齐里亚斯(Ilias S.Kotsireas)。
5 大卫·威尔逊。
4 克里斯托弗·布朗(Christopher W.Brown)。
4 亚历山德罗·西马蒂
4 基里恩·克莱默
4 阿米尔·霍森·萨德吉马内什
4 翟云云
克里斯·阿索恩
Elisenda费柳
Hoon Hong
斯科特·麦卡勒姆
哈米德·拉科伊
格雷戈里·库马尔·桑卡兰
塞萨尔·蒂内利
夏碧灿
2 约翰·A·阿伯特。
2 克拉克·W·巴雷特。
2 贝恩德·贝克尔
2 安娜·玛丽亚·比加蒂
2 布莱恩,马丁
2 詹姆斯·布里奇。
2 布赫伯格,布鲁诺
2 张凯文·K·H。
2 多里安·弗洛雷斯库
2 帕斯卡·方丹
2 史蒂芬·福雷斯特
2 德米特里·格里戈列夫
2 谢尔盖·古尼克。
2 黄宗岩
2 亚历山德鲁·约西夫
2 丹尼尔·科宁
2 马克·莫雷诺·马扎
2 阿克沙尔·萨吉夫·奈尔
2 劳伦斯·查尔斯·保尔森
2 奥维迪乌·拉杜列斯库
2 安德鲁·雷诺兹
2 瓦西里亚·萨里切夫。
2 罗伯托·塞巴斯蒂亚尼
2 Werner M.塞勒。
2 布雷特·史蒂文斯
2 安德烈亚斯·古恩特·韦伯
2 吴文元
2 薛波
1 克劳迪娅·阿尔弗雷斯·努曼
1 阿奈、平子
1 Noriko H.Arai。
1 哈尼尔·巴博萨
1 玛丽亚·贝克切娃
1 朱莉娅·伯纳茨卡
1 菲利波·比加雷拉
1 陈日增
1 亚历山大·切斯诺科夫。
1 池浩宇
1 科恩、凯利
1 卡斯滕·康拉迪
1 格伦·克里斯托弗·戴维斯
1 德尔·里奥·阿尔马亚诺,特雷索
1 德尔·雷奥,特雷索
1 德拉戈米尔·奥科维奇。
1 约翰·克里斯·艾尔贝克
1 基诺·艾尔斯
1 伊诺尔斯基,维克托·泽利科维奇
1 梅德利纳·埃拉什库
1 哈桑·埃拉米
1 藤崎隆彦
1 弗拉基米尔·彼得罗维奇·格特
1 卢卡·格雷科
1 何国良
1 凯瑟琳·希尔
1 阿尔伯特·海因勒
1 约翰·海丝特
1 布里兰·希塔吉
1 查尔斯·塔普利·霍伊特
1 黄波
1 Hůla,一月
1 艾哈迈德·伊尔凡
1 伊瓦内、希德诺
1 保罗·B·杰克逊。
1 Jakubův,简
1 米科拉什·亚诺塔
1 贾敏欣
1 泰勒·T·约翰逊。
1 马丁·乔纳什
1 托马斯·卡勒
1 Munehiro小林
1 马雷克·科什塔
1 佐尔坦科瓦奇
1 尼克拉斯·克鲁夫
1 卢卡什库贝
1 朱玛·库多
…还有63位作者

按年份列出的引文