Matthew England
TitoloCitata daAnno
Cylindrical algebraic decompositions for boolean combinations
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013
392013
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
362016
Optimising problem formulation for cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, D Wilson
Lecture Notes in Computer Science 7961 (Intelligent Computer Mathematics), 19-34, 2013
362013
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
International Conference on Intelligent Computer Mathematics, 92-107, 2014
332014
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
322016
Program Verication in the presence of complex numbers, functions with branch cuts etc
J Davenport, R Bradford, M England, D Wilson
SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms …, 2012
322012
Arabic language sentiment analysis on health services
AM Alayba, V Palade, M England, R Iqbal
2017 1st International Workshop on Arabic Script Analysis and Recognition …, 2017
312017
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
26*2014
Improving the use of equational constraints in cylindrical algebraic decomposition
M England, R Bradford, JH Davenport
arXiv preprint arXiv:1501.04466, 2015
242015
Abelian functions associated with a cyclic tetragonal curve of genus six
M England, JC Eilbeck
Journal of Physics A: Mathematical and Theoretical 42 (9), 095210, 2009
232009
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
International Conference on Intelligent Computer Mathematics, 45-60, 2014
212014
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
M England, D Wilson, R Bradford, JH Davenport
International Congress on Mathematical Software, 458-465, 2014
202014
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
172013
Understanding branch cuts of expressions
M England, R Bradford, JH Davenport, D Wilson
Lecture Notes in Computer Science 7961 (Intelligent Computer Mathematics …, 2013
172013
Abelian functions associated with genus three algebraic curves
JC Eilbeck, M England, Y Ônishi
LMS Journal of Computation and Mathematics 14 (1), 291-326, 2011
172011
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8 (2), 263-288, 2014
162014
Improving sentiment analysis in Arabic using word representation
AM Alayba, V Palade, M England, R Iqbal
2018 IEEE 2nd International Workshop on Arabic and Derived Script Analysis …, 2018
152018
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
152017
The complexity of cylindrical algebraic decomposition with respect to polynomial degree
M England, JH Davenport
International Workshop on Computer Algebra in Scientific Computing, 172-192, 2016
152016
A genus six cyclic tetragonal reduction of the Benney equations
M England, J Gibbons
Journal of Physics A: Mathematical and Theoretical 42 (37), 375202, 2009
152009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20