Matthew England

View Scopus Profile

Matthew England

Dr

 https://orcid.org/0000-0001-5729-3420

  • Innovation Village 10

    CV1 2TL Coventry

    United Kingdom

Accepting PhD Students

PhD projects

- Computer algebra and logic algorithm development.
- MATH-AI: particularly for optimising computational mathematics software
- Pedagogy of programming and algorithms.

Calculated based on number of publications stored in Pure and citations from Scopus
20092025

Research activity per year

Filter
Conference proceeding

Search results

  • 2025

    Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data

    Flood, D., England, M. & Grawemeyer, B., 7 May 2025, (Submitted) 26th International Conference on Artificial Intelligence in Education. Springer Nature, (Communications in Computer and Information Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • 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

    Open Access
    File
    1 Citation (Scopus)

  • 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

  • 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

    Open Access
    File
    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 Access
    File
    13 Downloads (Pure)
  • 2023

    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 Access
    File
    6 Citations (Scopus)
    119 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 Access
    File
    2 Citations (Scopus)
    10 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 Access
    File
    74 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 Access
    File
    1 Citation (Scopus)
    173 Downloads (Pure)
  • 2022

    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

    4 Citations (Scopus)

  • 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 Access
    File
    7 Citations (Scopus)
    77 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 Access
    File
    3 Citations (Scopus)
    162 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 Access
    File
    116 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 Access
    File
    3 Citations (Scopus)
    105 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 Access
    File
    7 Citations (Scopus)
    59 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 Access
    File
    12 Citations (Scopus)
    341 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 Access
    File
    5 Citations (Scopus)
    381 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 Access
    File
    9 Citations (Scopus)
    79 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)
  • 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 Access
    File
    12 Citations (Scopus)
    77 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 Access
    File
    19 Citations (Scopus)
    66 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)
  • 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 Access
    File
    165 Citations (Scopus)
    265 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 Access
    File
    70 Citations (Scopus)
    220 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 Access
    File
    11 Citations (Scopus)
    70 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 Access
    File
    57 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 Access
    File
    17 Citations (Scopus)
    79 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 Access
    File
    2 Citations (Scopus)
    50 Downloads (Pure)
  • 2017

    A Case Study on the Parametric Occurrence of Multiple Steady States

    Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T. & Weber, A., 25 Jul 2017, Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17. Association for Computing Machinery, p. 45-52 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    23 Citations (Scopus)
    167 Downloads (Pure)

  • Arabic Language Sentiment Analysis on Health Services

    Alayba, A., Palade, V., England, M. & Iqbal, R., 16 Oct 2017, 2017 1st International Workshop on Arabic Script Analysis and Recognition (ASAR). IEEE Computer Society, p. 114-118 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    331 Downloads (Pure)

  • Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

    England, M. & Davenport, J. H., 2 Mar 2017, SC-Square 2016 Satisfiability Checking and Symbolic Computation: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation. Ábrahám, E., Davenport, J. H. & Fontaine, P. (eds.). CEUR, p. 24-31 8 p. (CEUR Workshop Proceedings; vol. 1804).

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

    Open Access
    File
    40 Downloads (Pure)

  • OpenMath and SMT-LIB

    Davenport, J. H., England, M., Sebastiani, R. & Trentin, P., 10 Jul 2017, 2017 OpenMath Workshop. 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    102 Downloads (Pure)

  • SC-Square: When Satisfiability Checking and Symbolic Computation Join Forces

    Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Ganesh, V., Griggio, A., Kroening, D. & Seiler, W. M., 8 Nov 2017, ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. Reger, G. & Traytel, D. (eds.). EasyChair, Vol. 51. p. 6-10 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

  • Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

    England, M., Errami, H., Grigoriev, D., Radulescu, O., Sturm, T. & Weber, A., 2017, Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). 1 ed. Springer, p. 93-108 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    14 Citations (Scopus)
    74 Downloads (Pure)

  • The Potential and Challenges of CAD with Equational Constraints for SC-Square

    Davenport, J. H. & England, M., 21 Dec 2017, Mathematical Aspects of Computer and Information Sciences (Proc. MACIS '17): MACIS 2017. Springer, Vol. LNCS 10693. p. 280-285 6 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    2 Citations (Scopus)
    45 Downloads (Pure)

  • Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

    Huang, Z., England, M., Davenport, J. H. & Paulson, L. C., 26 Jan 2017, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. California: IEEE Computer Society, p. 45-52

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    18 Citations (Scopus)
    156 Downloads (Pure)
  • 2016

    Need Polynomial Systems Be Doubly-Exponential?

    Davenport, J. H. & England, M., 6 Jul 2016, International Congress on Mathematical Software. Greuel, G.-M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, Vol. 9725. p. 157-164 8 p. (Lecture Notes in Computer Science ; vol. 9725).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    8 Citations (Scopus)
    39 Downloads (Pure)

  • SC2 : Satisfiability Checking Meets Symbolic Computation

    Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M. & Sturm, T., 12 Jul 2016, Intelligent Computer Mathematics. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Switzerland: Springer Verlag, Vol. 9791. p. 28-43 16 p. (Lecture Notes in Computer Science; vol. 9791).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    31 Citations (Scopus)

  • The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree

    England, M. & Davenport, J. H., 9 Sept 2016, Computer Algebra in Scientific Computing. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Switzerland: Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science ; vol. 9890).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    18 Citations (Scopus)
    143 Downloads (Pure)
  • 2015

    Using the distribution of cells by dimension in a cylindrical algebraic decomposition

    Wilson, D., England, M., Bradford, R. & Davenport, J. H., 5 Feb 2015, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014. Institute of Electrical and Electronics Engineers Inc., p. 53-60 8 p. 7034665

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    13 Citations (Scopus)
    40 Downloads (Pure)
  • 2014

    A 'piano movers' problem reformulated

    Wilson, D., Davenport, J. H., England, M. & Bradford, R., 2014, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013. IEEE Computer Society, p. 53-60 8 p. 6821131

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    18 Citations (Scopus)
    64 Downloads (Pure)

  • Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

    Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. C. & Bridge, J., 2014, Intelligent Computer Mathematics - International Conference, CICM 2014, Proceedings. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Cham: Springer Verlag, Vol. 8543 LNAI. p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8543 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    45 Citations (Scopus)
    51 Downloads (Pure)

  • Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

    England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2014, Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Berlin: Springer Verlag, Vol. 8592 LNCS. p. 450-457 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    16 Citations (Scopus)
    47 Downloads (Pure)

  • Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

    England, M., Bradford, R., Chen, C., Davenport, J. H., Maza, M. M. & Wilson, D., 2014, Intelligent Computer Mathematics - International Conference, CICM 2014, Proceedings. LNCS ed. Springer Verlag, Vol. 8543 . p. 45-60 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8543 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    17 Citations (Scopus)
    43 Downloads (Pure)

  • Truth table invariant cylindrical algebraic decomposition by regular chains

    Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Proceedings. Springer Verlag, Vol. 8660 LNCS. p. 44-58 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8660 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    21 Citations (Scopus)
    64 Downloads (Pure)

  • Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

    England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, International Congress on Mathematical Software: ICMS 2014: Mathematical Software – ICMS 2014. Hong, H. & Yap, C. (eds.). Berlin: Springer Verlag, Vol. 8592. p. 458-465 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    20 Citations (Scopus)
    51 Downloads (Pure)
  • 2013

    Cylindrical algebraic decompositions for boolean combinations

    Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC 2013 - Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. Kauers, M. (ed.). New York: ACM, p. 125-132 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    32 Citations (Scopus)

  • Optimising problem formulation for cylindrical algebraic decomposition

    Bradford, R., Davenport, J. H., England, M. & Wilson, D., 2013, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013 - Held as Part of CICM 2013, Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Heidelberg: Springer, Vol. 7961 LNAI. p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7961 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    38 Citations (Scopus)
    47 Downloads (Pure)

  • Understanding branch cuts of expressions

    England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013 - Held as Part of CICM 2013, Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Heidelberg: Springer, Vol. 7961 LNAI. p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7961 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Open Access
    File
    12 Citations (Scopus)
    436 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.