Matthew England

View Scopus Profile

Matthew England

Dr

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

    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

    • 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)

    • 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

      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
      6 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)
      103 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)
      6 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
      65 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)
      131 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

      3 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)
      63 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)
      129 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
      100 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)
      92 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)
      50 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
      10 Citations (Scopus)
      304 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)
      341 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)
      69 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)
      73 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)
      52 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
      154 Citations (Scopus)
      249 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
      68 Citations (Scopus)
      205 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)
      59 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
      49 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
      16 Citations (Scopus)
      71 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)
      42 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)
      146 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
      302 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
      39 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
      91 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)
      64 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)
      42 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)
      105 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)
      35 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)
      51 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)
      39 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)
      59 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)
      43 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)
      42 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)
      34 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)
      59 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)
      47 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)
      45 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)
      331 Downloads (Pure)
    • 2012

      Program verification in the presence of complex numbers, functions with branch cuts etc

      Davenport, J. H., Bradford, R., England, M. & Wilson, D., 2012, Proceedings - 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012. IEEE, p. 83-88 6 p. 6481015

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

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