Matthew England

Associate Professor, School of Computing, Electronics and Maths
Associate, Faculty Research Centre in Fluid and Complex Systems

Emailab9797@coventry.ac.uk

320 Citations
11 h-Index

If you made any changes in Pure these will be visible here soon.

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

320 Citations
11 h-Index
31 Conference proceeding
15 Article
2 Paper
1 Meeting Abstract
2 More
- 1 Editorial
- 1 Review article

Algorithmically generating new algebraic features of polynomial systems for machine learning

Florescu, D. & England, M., 4 Oct 2019, Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation. CEUR Workshop Proceedings, Vol. (In-Press). 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding

Open Access

File

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

8 Downloads (Pure)

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