Articles with public access mandates - Matthew EnglandLearn more
Not available anywhere: 1
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)
M England
International Workshop on Computer Algebra in Scientific Computing, 1-10, 2024
Mandates: UK Engineering and Physical Sciences Research Council, European Commission …
Available somewhere: 42
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
E Ábrahám, JH Davenport, M England, G Kremer
Journal of Logical and Algebraic Methods in Programming 119, 100633, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Truth table invariant cylindrical algebraic decomposition
DW Russell Bradford, James H. Davenport, Matthew England, Scott McCallum
Journal of Symbolic Computation 76 (September–October 2016), 1-35, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
Z Huang, M England, D Wilson, JH Davenport, LC Paulson, J Bridge
Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
: Satisfiability Checking Meets Symbolic Computation: (Project Paper)
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
International Conference on Intelligent Computer Mathematics, 28-43, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Cylindrical algebraic decomposition with equational constraints
M England, R Bradford, JH Davenport
Journal of Symbolic Computation 100, 38-71, 2020
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Improving the use of equational constraints in cylindrical algebraic decomposition
M England, R Bradford, JH Davenport
Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015
Mandates: UK Engineering and Physical Sciences Research Council
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Using machine learning to decide when to precondition cylindrical algebraic decomposition with Groebner bases
Z Huang, M England, JH Davenport, LC Paulson
2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
The complexity of cylindrical algebraic decomposition with respect to polynomial degree
M England, JH Davenport
Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson
Computer Algebra in Scientific Computing (LNCS) 8660, 44-58, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Identifying the parametric occurrence of multiple steady states for some biological networks
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Journal of Symbolic Computation 98, 84-119, 2020
Mandates: German Research Foundation, European Commission, Agence Nationale de la …
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
M England, D Florescu
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
Mandates: UK Engineering and Physical Sciences Research Council
A case study on the parametric occurrence of multiple steady states
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Proceedings of the 42nd International Symposium on Symbolic and Algebraic …, 2017
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Using machine learning to improve cylindrical algebraic decomposition
Z Huang, M England, DJ Wilson, J Bridge, JH Davenport, LC Paulson
Mathematics in Computer Science 13, 461-488, 2019
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
M England, D Wilson, R Bradford, JH Davenport
Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8, 263-288, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, JH Davenport, D Wilson
Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, C Chen, JH Davenport, MM Maza, D Wilson
Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
M England, H Errami, D Grigoriev, O Radulescu, T Sturm, A Weber
Computer Algebra in Scientific Computing: 19th International Workshop, CASC …, 2017
Mandates: European Commission, Federal Ministry of Education and Research, Germany
Publication and funding information is determined automatically by a computer program