Matthew England
发表
David Croft,
Matthew England,
M. England,
2018,
CEP.
Matthew England,
Rahat Iqbal,
Abdulaziz M. Alayba,
2018,
CD-MAKE.
Matthew England,
Grant J. Scott,
Georgi A. Angelov,
2015,
2015 IEEE International Geoscience and Remote Sensing Symposium (IGARSS).
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
pdf
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ICMS.
Matthew England,
Rahat Iqbal,
Abdulaziz M. Alayba,
2017,
2017 1st International Workshop on Arabic Script Analysis and Recognition (ASAR).
Matthew England,
2018,
ICMS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2018,
ArXiv.
Matthew England,
2015,
ACCA.
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
pdf
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2014,
CICM.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015
.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
ISSAC '13.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
pdf
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ICMS.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CICM.
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance
pdf
Matthew England,
2013,
ArXiv.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2017,
ISSAC.
Matthew England,
James Shuttleworth,
Sumukh Deshpande,
2019,
Comput. Biol. Medicine.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
ICMS.
Matthew England,
Derek Anderson,
Stanton R. Price,
2015,
2015 IEEE International Geoscience and Remote Sensing Symposium (IGARSS).
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2016,
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
Lecture Notes in Computer Science.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2012,
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
ACCA.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015,
ISSAC.
Matthew England,
Derek Anderson,
Grant J. Scott,
2014,
2014 22nd International Conference on Pattern Recognition.
Changbo Chen,
Marc Moreno Maza,
Matthew England,
2014,
CASC.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
Matthew England,
2013,
ArXiv.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
J. Symb. Comput..
Matthew England,
2014,
ArXiv.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
SC²@SYNASC.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2018,
Mathematics in Computer Science.
Matthew England,
Dorian Florescu,
Dorian Florescu,
2019,
SC-square@SIAM AG.
Matthew England,
Alexander Imani Cowen-Rivers,
2018,
ArXiv.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
ACCA.
Matthew England,
James H. Davenport,
Roberto Sebastiani,
2018,
ArXiv.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2013,
MKM/Calculemus/DML.
Matthew England,
James H. Davenport,
Lawrence C. Paulson,
2015,
ACCA.
Matthew England,
James H. Davenport,
Casey B. Mulligan,
2018,
ICMS.
Matthew England,
Alexander Imani Cowen-Rivers,
2018,
ArXiv.
Matthew England,
James H. Davenport,
J. Davenport,
2017,
MACIS.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2018,
SC-Square@FLOC.
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
pdf
Matthew England,
Dorian Florescu,
Dorian Florescu,
2019,
CICM.
Matthew England,
Rahat Iqbal,
Abdulaziz M. Alayba,
2018,
2018 IEEE 2nd International Workshop on Arabic and Derived Script Analysis and Recognition (ASAR).
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
pdf
Matthew England,
Dima Grigoriev,
Thomas Sturm,
2017,
CASC.
Matthew England,
Herman Geuvers,
Osman Hasan,
2017,
Lecture Notes in Computer Science.
Matthew England,
James H. Davenport,
J. Davenport,
2016,
CASC.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2019,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Russell J. Bradford,
2014,
Math. Comput. Sci..
Matthew England,
James H. Davenport,
2014,
ADG.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2019,
J. Symb. Comput..
Matthew England,
David J. Wilson,
2015,
ArXiv.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Matthew England,
James H. Davenport,
Russell J. Bradford,
2015
.
Matthew England,
James H. Davenport,
Gereon Kremer,
2021,
ARCADE@CADE.
Matthew England,
Thomas Sturm,
Timur M. Sadykov,
2021,
Math. Comput. Sci..
Matthew England,
Thomas Sturm,
Wolfram Koepf,
2021,
Math. Comput. Sci..
Matthew England,
James H. Davenport,
R. Bradford,
2021,
ACM Commun. Comput. Algebra.
Matthew England,
David J. Wilson,
D. Wilson,
2013
.