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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 4 Similar Profiles

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 2009 2018

### A Combined CNN and LSTM Model for Arabic Sentiment Analysis

Alayba, A., Palade, V., England, M. & Iqbal, R. 24 Aug 2018*Cross Domain Conference for Machine Learning and Knowledge Extraction: CD-MAKE 2018.*Springer International Publishing, Vol. 11015, p. 179-191 13 p. (Lecture Notes in Computer Science)

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

### Improving Sentiment Analysis in Arabic Using Word Representation

Alayba, A., Palade, V., England, M. & Iqbal, R. 4 Oct 2018*Proc. 2nd International Workshop on Arabic Script Analysis and Recognition (ASAR '18).*IEEE Computer Society, p. 13-18 6 p.

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

### Machine Learning for Mathematical Software

England, M. 14 Jul 2018*Mathematical Software : Proceedings of the International Congress on Mathematical Software (ICMS 2018).*Davenport, J. H., Kauers, M., Labahn, G. & Urban, J. (eds.). Springer, p. 165-174 10 p. (Lecture Notes in Computer Science; vol. 10931)

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

### Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Mulligan, C., Bradford, R., Davenport, J. H., England, M. & Tonks, Z. 1 Sep 2018*Proceedings of the 3rd International Workshop on Satisfiability Checking and Symbolic Computation.*Bigatti, A. M. & Brain, M. (eds.). CEUR Workshop Proceedings, 13 p.

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

### TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mulligan, C., Davenport, J. H. & England, M. 14 Jul 2018*Mathematical Software: Proceedings of the International Congress on Mathematical Software (ICMS 2018).*Springer, p. 369-378 10 p. (Lecture Notes in Computer Science; vol. 10931)

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

## Activities 2015 2016

- 5 Participation in conference

### International Symposium on Symbolic Computation in Software Science

England, M. (Member of Programme Committee)Activity: Participation in conference

### International Workshop on Computer Algebra in Scientific Computing

England, M. (Member of Programme Committee)Activity: Participation in conference

### International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

England, M. (Member of Programme Committee)Activity: Participation in conference

### 40th International Symposium on Symbolic and Algebraic Computation (ISSAC)

England, M. (Organising Committee)Activity: Participation in conference

### Conferences on Intelligent Computer Mathematics

England, M. (Member of Programme Committee)Activity: Participation in conference