Research Output per year
Personal profile
Biography
I am a Senior Lecturer in Computer Science with a background in mathematics, working at Coventry University since April 2015. Prior to that I was the Research Officer for the EPSRC project "Real Geometry and Connectedness via Triangular Description" at the University of Bath. My research is mainly in the area of Computer Algebra / Symbolic Computation but I also have interestes in Machine Learning and Satisfiability Solving.
See my personal academic website for full details:
http://computing.coventry.ac.uk/~mengland/index.html
Research Interests
- Computer Algebra / Symbolic Computation
- Quantifier Elimination
- Cylindrical Algebraic Decomposition
- Polynomial Systems
- Computational Geometry
- Machine Learning for Software Optimisation
- Satisfiability Modulo Theories
Education/Academic qualification
Doctorate, Heriot-Watt University
Keywords
- QA76 Computer software
- Symbolic Computation
- Computer Algebra
Fingerprint Dive into the research topics where Matthew England is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Decomposition
Engineering & Materials Science
Learning systems
Engineering & Materials Science
Polynomials
Engineering & Materials Science
Computational geometry
Engineering & Materials Science
Algebra
Engineering & Materials Science
Support vector machines
Engineering & Materials Science
Neural networks
Engineering & Materials Science
Computer aided design
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2009 2019
Algorithmically generating new algebraic features of polynomial systems for machine learning
Florescu, D. & England, M., 20 May 2019, (Accepted/In press) Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation. CEUR Workshop Proceedings, Vol. (In-Press). 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Learning systems
Polynomials
Decomposition
Algebra
Identification (control systems)
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
England, M. & Florescu, D., 8 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings. Sacerdoti Coen, C., Kohlhase, A., Brady, E. & Kaliszyk, C. (eds.). Springer, Vol. 11617. p. 93-108 16 p. (Lecture Notes in Artificial Intelligence; vol. 11617).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
Learning systems
Machine Learning
Choose
Decomposition
Decompose
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback
Croft, D. & England, M., 9 Jan 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. New York: ACM, 4 p. 16. ( ICPS: ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
student
performance
programming
staff
curriculum
Cylindrical Algebraic Decomposition with Equational Constraints
England, M., Bradford, R. & Davenport, J. H., 2 Aug 2019, In : Journal of Symbolic Computation. (In-Press), p. (In-Press) 34 p.Research output: Contribution to journal › Article
Decomposition
Decompose
Polynomials
Polynomial
Quantifier Elimination
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T. & Weber, A., 15 Jul 2019, In : Journal of Symbolic Computation. (In-press), p. (In-press)Research output: Contribution to journal › Article
Biological Networks
Parameter Space
Protein Kinase
Symbolic Computation
Elimination Theory
Activities 2015 2016
- 5 Participation in conference
International Workshop on Computer Algebra in Scientific Computing
Matthew England (Member of Programme Committee)19 Sep 2016 → 23 Sep 2016
Activity: Participating in or organising an event › Participation in conference
International Symposium on Symbolic Computation in Software Science
Matthew England (Member of Programme Committee)28 Mar 2016 → 31 Mar 2016
Activity: Participating in or organising an event › Participation in conference
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Matthew England (Member of Programme Committee)21 Sep 2015 → 24 Sep 2015
Activity: Participating in or organising an event › Participation in conference
Conferences on Intelligent Computer Mathematics
Matthew England (Member of Programme Committee)13 Jul 2015 → 17 Jul 2015
Activity: Participating in or organising an event › Participation in conference
40th International Symposium on Symbolic and Algebraic Computation (ISSAC)
Matthew England (Organising Committee)6 Jul 2015 → 9 Jul 2015
Activity: Participating in or organising an event › Participation in conference