Research output per year
Research output per year
- 1 - 50 out of 87 results
Search results
-
2024
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
Florescu, D. & England, M., 17 Jul 2024, Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). 1 ed. Springer , p. 186-195 10 p. (Lecture Notes in Computer Science; vol. 14749).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
1 Citation (Scopus) -
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Pickering, L., del Río, T., England, M. & Cohen, K., 1 Jul 2024, In: Journal of Symbolic Computation. 123, 24 p., 102276.Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Citations (Scopus)127 Downloads (Pure) -
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
del Río, T. & England, M., 11 Sept 2024, In: Mathematics in Computer Science. 18, 3, 27 p., 17.Research output: Contribution to journal › Article › peer-review
Open AccessFile20 Downloads (Pure) -
Levelwise construction of a single cylindrical algebraic cell
Nalbach, J., Abraham, E., Specht, P., Brown, C. W., Davenport, J. H. & England, M., Jul 2024, In: Journal of Symbolic Computation. 123, 44 p., 102288.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)83 Downloads (Pure) -
On Projective Delineability
Michel, L., Nalbach, J., Mathonet, P., Zénaïdi, N., Brown, C. W., Abraham, E., Davenport, J. H. & England, M., 31 Jul 2024, (Accepted/In press) Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Vol. (In-Press). p. (In-Press)Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)
England, M., 21 Aug 2024, Computer Algebra in Scientific Computation . Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). Springer , Vol. 14938. p. 1-10 10 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Robust Auto-Tuning Control of a Delivery Quadcopter with Motor Faults, Mass and Inertia Estimation
Mafaz, M. A., Horri, N., Lu, Q. & England, M., 28 Jun 2024, (Accepted/In press). 6 p.Research output: Contribution to conference › Paper › peer-review
-
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Barket, R., England, M. & Gerhard, J., 2024, Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Springer , Vol. 14749. p. 167-175 9 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
1 Citation (Scopus) -
The Liouville Generator for Producing Integrable Expressions
Barket, R., England, M. & Gerhard, J., 21 Aug 2024, Computer Algebra in Scientific Computing: 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). 1 ed. Springer , Vol. 14938. p. 47-62 16 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Transformers to Predict the Applicability of Symbolic Integration Routines
Barket, R., Shafiq, U., England, M. & Gerhard, J., 9 Oct 2024, (Accepted/In press) Proceedings of the 4th Workshop on Mathematical Reasoning and AI (MATH-AI 2024) at NeurIPS 2024. 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile5 Downloads (Pure) -
2023
An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem
Mousavi, S., Bhambar, S. & England, M., 1 Jan 2025, In: International Transactions in Operational Research. 32, 1, p. 144-175 32 p., 13340.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)40 Downloads (Pure) -
Clustering in the Lazard method for Cylindrical Algebraic Decomposition
del Río, T., Sadeghimanesh, A. & England, M., 13 Dec 2023, In: ACM Communications in Computer Algebra. 57, 3, p. 126-129 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile36 Downloads (Pure) -
Data Augmentation for Mathematical Objects
del Río, T. & England, M., 15 Aug 2023, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). Abraham, E. & Sturm, T. (eds.). CEUR Workshop Proceedings, Vol. 3455. p. 29-38 10 p. (CEUR Workshop Proceedings; vol. 3455).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile6 Citations (Scopus)89 Downloads (Pure) -
Generating Elementary Integrable Expressions
Barket, R., England, M. & Gerhard, J., 24 Aug 2023, Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings. Boulier, F., England, M., Kotsireas, I., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). 1 ed. Springer , p. 21-38 18 p. (Lecture Notes in Computer Science; vol. 14139).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile2 Citations (Scopus)4 Downloads (Pure) -
Iterated Resultants in CAD
Davenport, J. H. & England, M., 15 Aug 2023, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). Abraham, E. & Sturm, T. (eds.). CEUR Workshop Proceedings, Vol. 3455. p. 54-60 7 p. (CEUR Workshop Proceedings; vol. 3455).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile57 Downloads (Pure) -
SMT-Solving Induction Proofs of Inequalities
Uncu, A., Davenport, J. H. & England, M., 18 Aug 2023, Proceedings of the 7th International Workshop on Satisfiability Checking and Symbolic Computation. Uncu, A. & Barbosa, H. (eds.). CEUR Workshop Proceedings, Vol. 3458. p. 10-24 15 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile1 Citation (Scopus)120 Downloads (Pure) -
2022
An SMT solver for non-linear real arithmetic inside maple
Sadeghimanesh, A. & England, M., 23 Nov 2022, In: ACM Communications in Computer Algebra. 56, 2, p. 76-79 4 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile133 Downloads (Pure) -
An SMT solver for non-linear real arithmetic inside Maple
Sadeghimanesh, A. & England, M., 6 Jul 2022.Research output: Contribution to conference › Poster › peer-review
Open AccessFile73 Downloads (Pure) -
Feedback and Engagement on an Introductory Programming Module
Grawemeyer, B., Halloran, J., England, M. & Croft, D., 6 Jan 2022, CEP 2022: Computing Education Practice 2022. English, R. & Stewart, C. (eds.). ACM, p. 17-20 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
3 Citations (Scopus) -
LIFT: lncRNA identification and function-prediction tool
Deshpande, S., Shuttleworth, J., Yang, J., Taramonli, S. & England, M., 25 Jan 2022, (E-pub ahead of print) In: International Journal of Bioinformatics Research and Applications. 17, 6, p. 512-536 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile208 Downloads (Pure) -
Machine Learning for Computer Algebra
Barket, R., del Río, T. & England, M., 2022, (Unpublished).Research output: Contribution to conference › Poster
File129 Downloads (Pure) -
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
del Río, T. & England, M., 11 Aug 2022, Computer Algebra in Scientific Computing CASC 2022. Boulier, F., England, M., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). Springer International Publishing, Vol. 13366. p. 300–317 18 p. (Lecture Notes in Computer Science; vol. 13366).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile7 Citations (Scopus)59 Downloads (Pure) -
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Kremer, G., Abraham, E., England, M. & Davenport, J. H., 10 Feb 2022, 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Schneider, C., Marin, M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 37-39 3 p. (2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile3 Citations (Scopus)123 Downloads (Pure) -
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
Sadeghimanesh, A. & England, M., 27 Sept 2022, In: BMC Bioinformatics. 23, 1, 26 p., 391.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)41 Downloads (Pure) -
SC-Square: Future Progress with Machine Learning
England, M., 14 Nov 2022, SC-Square 2021 Proceedings. Bright, C. & Davenport, J. (eds.). CEUR Workshop Proceedings, Vol. 3273. p. 7-16 10 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile92 Downloads (Pure) -
SC-Square: Overview to 2021.
England, M., 14 Nov 2022, SC-Square Workshop 2021 Proceedings. Bright, C. & Davenport, J. (eds.). CEUR Workshop Proceedings, Vol. 3273. p. 1-6 6 p. (CEUR workshop proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile3 Citations (Scopus)91 Downloads (Pure) -
The benefits of clustering in cylindrical algebraic decomposition
del Río, T. & England, M., 2022, (Accepted/In press) p. 69-72. 4 p.Research output: Contribution to conference › Abstract › peer-review
-
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 41 p., 100633.Research output: Contribution to journal › Article › peer-review
Open AccessFile34 Citations (Scopus)75 Downloads (Pure) -
Improving Algebraic Tools to Study Bifurcation Sequences of Population Models
Sadeghimanesh, A. & England, M., 14 Sept 2021. 4 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile57 Downloads (Pure) -
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., 16 Jul 2021. 5 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile37 Downloads (Pure) -
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., Sept 2021, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Citations (Scopus)66 Downloads (Pure) -
2020
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs
Florescu, D. & England, M., 8 Jul 2020, Mathematical Software – ICMS 2020 - 7th International Conference, Proceedings. Bigatti, A. M., Carette, J., Davenport, J. H., Joswig, M. & de Wolff, T. (eds.). Springer International Publishing, Vol. (In-Press). p. 302-311 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12097 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile7 Citations (Scopus)48 Downloads (Pure) -
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.
Croft, D. & England, M., 13 Jan 2020, Proceedings of the 4th Conference on Computing Education Practice 2020. ACM, 4 p. 1. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile10 Citations (Scopus)290 Downloads (Pure) -
Cylindrical Algebraic Decomposition with Equational Constraints
England, M., Bradford, R. & Davenport, J. H., 1 Sept 2020, In: Journal of Symbolic Computation. 100, p. 38-71 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Citations (Scopus)261 Downloads (Pure) -
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.
Billings, S. & England, M., 13 Jan 2020, CEP 2020: Proceedings of the 4th Conference on Computing Education Practice 2020. ACM, 4 p. 2. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile5 Citations (Scopus)335 Downloads (Pure) -
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., May 2020, In: Journal of Symbolic Computation. 98, p. 84 - 119 36 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile23 Citations (Scopus)104 Downloads (Pure) -
Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness
Florescu, D. & England, M., 18 Mar 2020, Mathematical Aspects of Computer and Information Sciences : Proc. MACIS 2019. Slamanig, D., Tsigaridas, E. & Zafeirakopoulos, Z. (eds.). Springer International Publishing, Vol. 11989 . p. 341-356 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11989 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile9 Citations (Scopus)65 Downloads (Pure) -
Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple
England, M. & Florescu, D., 2020, Maple in Mathematics Education and Research - 3rd Maple Conference, MC 2019, Proceedings. Gerhard, J. & Kotsireas, I. (eds.). Springer, p. 330-333 4 p. (Communications in Computer and Information Science; vol. 1125 ).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
1 Citation (Scopus) -
Symbolic computation and satisfiability checking
Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 1 Sept 2020, In: Journal of Symbolic Computation. 100, p. 1-10 10 p.Research output: Contribution to journal › Editorial
Open AccessFile10 Citations (Scopus)179 Downloads (Pure) -
2019
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, 12 p. (CEUR Workshop Proceedings; vol. 2460).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile12 Citations (Scopus)70 Downloads (Pure) -
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. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, 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 › peer-review
Open AccessFile19 Citations (Scopus)49 Downloads (Pure) -
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 › peer-review
6 Citations (Scopus) -
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets
Deshpande, S., Shuttleworth, J., Yang, J., Taramonli, S. & England, M., Feb 2019, In: Computers in Biology and Medicine. 105, p. 169-181 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile27 Citations (Scopus)43 Downloads (Pure) -
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. H. & Paulson, L. C., Dec 2019, In: Mathematics in Computer Science. 13, 4, p. 461-488 28 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile20 Citations (Scopus)61 Downloads (Pure) -
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 › peer-review
Open AccessFile151 Citations (Scopus)246 Downloads (Pure) -
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 › peer-review
Open AccessFile68 Citations (Scopus)196 Downloads (Pure) -
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 › Conference proceeding › peer-review
Open AccessFile11 Citations (Scopus)53 Downloads (Pure) -
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
Mulligan, C., Bradford, R., Davenport, J. H., England, M. & Tonks, Z., 1 Sept 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 › peer-review
Open AccessFile46 Downloads (Pure) -
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 › Conference proceeding › peer-review
Open AccessFile16 Citations (Scopus)65 Downloads (Pure) -
Towards Incremental Cylindrical Algebraic Decomposition in Maple
Cowen-Rivers, A. & England, M., 1 Sept 2018, Proceedings of the 3rd International Workshop on Satisfiability Checking and Symbolic Computation: SC-Square 2018. CEUR Workshop Proceedings, Vol. 2189. p. 3-18 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile2 Citations (Scopus)42 Downloads (Pure)