×

zbMATH — the first resource for mathematics

England, Matthew

Compute Distance To:
Author ID: england.matthew Recent zbMATH articles by "England, Matthew"
Published as: England, M.; England, Matthew
External Links: ORCID
Documents Indexed: 40 Publications since 2009, including 3 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 147 times in 42 Documents Cited by Year
Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2016
Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2013
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
10
2016
Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283
England, Matthew; Bradford, Russell; Davenport, James H.
9
2015
Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David
9
2013
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
2014
Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293
Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David
8
2014
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008
England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H.
7
2014
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. Zbl 1304.68224
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James
7
2014
Abelian functions associated with a cyclic tetragonal curve of genus six. Zbl 1157.14303
England, M.; Eilbeck, J. C.
7
2009
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223
England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David
6
2014
A genus six cyclic tetragonal reduction of the Benney equations. Zbl 1184.14059
England, M.; Gibbons, J.
6
2009
Abelian functions associated with genus three algebraic curves. Zbl 1304.14042
Eilbeck, J. C.; England, M.; Ônishi, Y.
5
2011
Higher genus abelian functions associated with cyclic trigonal curves. Zbl 1188.14019
England, Matthew
5
2010
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. Zbl 1455.92058
England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
4
2017
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079
England, Matthew; Davenport, James H.
4
2016
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
4
2014
Using machine learning to improve cylindrical algebraic decomposition. Zbl 07137257
Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.
3
2019
Understanding branch cuts of expressions. Zbl 1390.68777
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
3
2013
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.)
2
2020
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics. Zbl 1395.68350
Mulligan, Casey B.; Davenport, James H.; England, Matthew
2
2018
A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
2
2017
Deriving bases for abelian functions. Zbl 1256.14027
England, Matthew
2
2011
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
1
2020
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
1
2020
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. Zbl 1428.68399
England, Matthew; Florescu, Dorian
1
2019
Machine learning for mathematical software. Zbl 1395.68231
England, Matthew
1
2018
Need polynomial systems be doubly-exponential? Zbl 1434.68702
Davenport, James H.; England, Matthew
1
2016
Recent advances in real geometric reasoning. Zbl 1434.68701
Davenport, James H.; England, Matthew
1
2015
Branch cuts in Maple 17. Zbl 1369.68358
England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D.
1
2014
Building abelian functions with generalised Baker-Hirota operators. Zbl 1242.14027
England, Matthew; Athorne, Chris
1
2012
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.)
2
2020
Cylindrical algebraic decomposition with equational constraints. Zbl 1432.68599
England, Matthew; Bradford, Russell; Davenport, James H.
1
2020
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
1
2020
Using machine learning to improve cylindrical algebraic decomposition. Zbl 07137257
Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.
3
2019
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. Zbl 1428.68399
England, Matthew; Florescu, Dorian
1
2019
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics. Zbl 1395.68350
Mulligan, Casey B.; Davenport, James H.; England, Matthew
2
2018
Machine learning for mathematical software. Zbl 1395.68231
England, Matthew
1
2018
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. Zbl 1455.92058
England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
4
2017
A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas
2
2017
Truth table invariant cylindrical algebraic decomposition. Zbl 1351.68314
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2016
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
10
2016
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Zbl 1453.13079
England, Matthew; Davenport, James H.
4
2016
Need polynomial systems be doubly-exponential? Zbl 1434.68702
Davenport, James H.; England, Matthew
1
2016
Improving the use of equational constraints in cylindrical algebraic decomposition. Zbl 1346.68283
England, Matthew; Bradford, Russell; Davenport, James H.
9
2015
Recent advances in real geometric reasoning. Zbl 1434.68701
Davenport, James H.; England, Matthew
1
2015
Cylindrical algebraic sub-decompositions. Zbl 1309.68232
Wilson, D. J.; Bradford, R. J.; Davenport, J. H.; England, M.
8
2014
Truth table invariant cylindrical algebraic decomposition by regular chains. Zbl 1350.68293
Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David
8
2014
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. Zbl 1437.14008
England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H.
7
2014
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. Zbl 1304.68224
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James
7
2014
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1304.68223
England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David
6
2014
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Zbl 1350.68294
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
4
2014
Branch cuts in Maple 17. Zbl 1369.68358
England, M.; Cheb-Terrab, E.; Bradford, R.; Davenport, J. H.; Wilson, D.
1
2014
Cylindrical algebraic decompositions for Boolean combinations. Zbl 1359.68327
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David
13
2013
Optimising problem formulation for cylindrical algebraic decomposition. Zbl 1390.68775
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David
9
2013
Understanding branch cuts of expressions. Zbl 1390.68777
England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David
3
2013
Building abelian functions with generalised Baker-Hirota operators. Zbl 1242.14027
England, Matthew; Athorne, Chris
1
2012
Abelian functions associated with genus three algebraic curves. Zbl 1304.14042
Eilbeck, J. C.; England, M.; Ônishi, Y.
5
2011
Deriving bases for abelian functions. Zbl 1256.14027
England, Matthew
2
2011
Higher genus abelian functions associated with cyclic trigonal curves. Zbl 1188.14019
England, Matthew
5
2010
Abelian functions associated with a cyclic tetragonal curve of genus six. Zbl 1157.14303
England, M.; Eilbeck, J. C.
7
2009
A genus six cyclic tetragonal reduction of the Benney equations. Zbl 1184.14059
England, M.; Gibbons, J.
6
2009
all top 5

Cited by 79 Authors

16 England, Matthew
15 Davenport, James Harold
5 Bradford, Russell J.
5 Wilson, David J.
4 Ábrahám, Erika
4 Bright, Curtis
4 Ganesh, Vijay
4 Kotsireas, Ilias S.
3 Athorne, Chris
3 Geng, Xianguo
3 Griggio, Alberto
3 Hong, Hoon
3 McCallum, Scott
3 Sturm, Thomas P.
3 Zhai, Yunyun
2 Abbott, John A.
2 Becker, Bernd
2 Bigatti, Anna Maria
2 Brain, Martin
2 Bridge, James P.
2 Buchberger, Bruno
2 Chen, Changbo
2 Cimatti, Alessandro
2 Fontaine, Pascal
2 Forrest, Stephen
2 Huang, Zongyan
2 Kremer, Gereon
2 Kröning, Daniel
2 Moreno Maza, Marc
2 Paulson, Lawrence Charles
2 Seiler, Werner M.
1 Anai, Hirokazu
1 Arai, Noriko H.
1 Bernatska, Julia
1 Brown, Christopher W.
1 Chesnokov, Alexander A.
1 Cheung, Kevin K. H.
1 Đoković, Dragomir Ž.
1 Eilbeck, John Chris
1 Eilers, Keno
1 Enolskiĭ, Viktor Zelikovich
1 Eraşcu, Mădălina
1 Errami, Hassan
1 Feliu, Elisenda
1 Fukasaku, Ryoya
1 Gerdt, Vladimir P.
1 Grigor’ev, Dmitriĭ Yur’evich
1 He, Guoliang
1 Heinle, Albert
1 Hoyt, Charles
1 Iwane, Hidenao
1 Jackson, Paul B.
1 Johnson, Taylor T.
1 Kobayashi, Munehiro
1 Košta, Marek
1 Kudo, Jumma
1 Lelito, Aleksandra
1 Leykin, Dmitry
1 Lichtblau, Daniel A.
1 Matsuzaki, Takuya
1 Morozov, Oleg I.
1 Parusiński, Adam
1 Paunescu, Laurentiu
1 Pavlov, Maxim V.
1 Radulescu, Ovidiu
1 Roy, Dominique
1 Sadeghimanesh, AmirHosein
1 Sogokon, Andrew
1 Stevens, Brett
1 Sturm, Thomas F.
1 Suzuki, Joe
1 Tang, Xiaoxian
1 Tinelli, Cesare
1 Vale-Enriquez, Fernando
1 Weber, Andreas Günter
1 Wei, Jiao
1 Xia, Bican
1 Xue, Bo
1 Zhan, Yiyang

Citations by Year