Matthew England

170 papers B 16C 6Misc 6Journal 106Unranked 34
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons.
CoRR
Abiola Babatunde, Matthew England, AmirHosein Sadeghimanesh
2025 J jnl
An iterated greedy algorithm with variable reconstruction size for the obnoxious
Int. Trans. Oper. Res.
Seyed R. Mousavi, Soni Bhambar, Matthew England
2025 J jnl
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
Math. Comput. Sci.
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
2025 — conf
Predicting At-Risk Programming Students in Small Imbalanced Datasets Using Synthetic Data.
AIED Companion (1)
Daniel Flood, Matthew England, Beate Grawemeyer
2025 J jnl
Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data.
CoRR
Daniel Flood, Matthew England, Beate Grawemeyer
2025 — conf
Projective Delineability for Single Cell Construction.
SC-Square@CADE
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025 J jnl
Projective Delineability for Single Cell Construction.
CoRR
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025 J jnl
Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms.
CoRR
Rashid Barket, Matthew England, Jürgen Gerhard
2024 — conf
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.
ICMS
Dorian Florescu, Matthew England
2024 J jnl
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.
CoRR
Dorian Florescu, Matthew England
2024 J jnl
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
J. Symb. Comput.
Lynn Pickering, Tereso del Rio Almajano, Matthew England, Kelly Cohen
2024 J jnl
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD.
CoRR
Tereso del Río, Matthew England
2024 J jnl
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD.
Math. Comput. Sci.
Tereso del Río, Matthew England
2024 J jnl
Levelwise construction of a single cylindrical algebraic cell.
J. Symb. Comput.
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2024 Misc conf
On Projective Delineability.
SYNASC
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024 J jnl
On Projective Delineability.
CoRR
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024 B conf
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk).
CASC
Matthew England
2024 J jnl
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition.
CoRR
Matthew England
2024 — conf
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs.
ICMS
Rashid Barket, Matthew England, Jürgen Gerhard
2024 J jnl
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs.
CoRR
Rashid Barket, Matthew England, Jürgen Gerhard
2024 B conf
The Liouville Generator for Producing Integrable Expressions.
CASC
Rashid Barket, Matthew England, Jürgen Gerhard
2024 J jnl
The Liouville Generator for Producing Integrable Expressions.
CoRR
Rashid Barket, Matthew England, Jürgen Gerhard
2024 J jnl
Transformers to Predict the Applicability of Symbolic Integration Routines.
CoRR
Rashid Barket, Uzma Shafiq, Matthew England, Jürgen Gerhard
2023 J jnl
Clustering in the Lazard method for Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra
Tereso del Río, AmirHosein Sadeghimanesh, Matthew England
2023 B ed.
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
CASC
François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov
2023 — conf
Data Augmentation for Mathematical Objects.
SC-Square@ISSAC
Tereso del Río, Matthew England
2023 J jnl
Data Augmentation for Mathematical Objects.
CoRR
Tereso del Rio Almajano, Matthew England
2023 J jnl
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
CoRR
Lynn Pickering, Tereso del Rio Almajano, Matthew England, Kelly Cohen
2023 J jnl
Foreword.
Math. Comput. Sci.
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2023 B conf
Generating Elementary Integrable Expressions.
CASC
Rashid Barket, Matthew England, Jürgen Gerhard
2023 J jnl
Generating Elementary Integrable Expressions.
CoRR
Rashid Barket, Matthew England, Jürgen Gerhard
2023 J jnl
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
CoRR
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
2023 J jnl
Iterated Resultants in CAD.
CoRR
James H. Davenport, Matthew England
2023 J jnl
SMT-Solving Induction Proofs of Inequalities.
CoRR
Ali Kemal Uncu, James H. Davenport, Matthew England
2022 J jnl
An SMT solver for non-linear real arithmetic inside maple.
ACM Commun. Comput. Algebra
AmirHosein Sadeghimanesh, Matthew England
2022 B ed.
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings
CASC
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2022 — conf
Feedback and Engagement on an Introductory Programming Module.
CEP
Beate Grawemeyer, John Halloran, Matthew England, David Croft
2022 J jnl
Feedback and Engagement on an Introductory Programming Module.
CoRR
Beate Grawemeyer, John Halloran, Matthew England, David Croft
2022 J jnl
Foreword.
Math. Comput. Sci.
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2022 J jnl
Levelwise construction of a single cylindrical algebraic cell.
CoRR
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2022 B conf
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.
CASC
Tereso del Río, Matthew England
2022 J jnl
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Dagstuhl Reports
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio
2022 J jnl
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis.
CoRR
Tereso del Río, Matthew England
2022 J jnl
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks.
BMC Bioinform.
AmirHosein Sadeghimanesh, Matthew England
2022 J jnl
Resultant Tools for Parametric Polynomial Systems with Application to Population Models.
CoRR
AmirHosein Sadeghimanesh, Matthew England
2022 J jnl
SC-Square: Future Progress with Machine Learning?
CoRR
Matthew England
2022 J jnl
SC-Square: Overview to 2021.
CoRR
Matthew England
2022 — conf
SMT-Solving Induction Proofs of Inequalities.
SC-Square@FLoC
Ali Kemal Uncu, James H. Davenport, Matthew England
2021 B ed.
Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings
CASC
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2021 J jnl
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.
J. Log. Algebraic Methods Program.
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2021 J jnl
Foreword, with a Dedication to Andreas Weber.
Math. Comput. Sci.
Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm
2021 J jnl
Foreword, with a Dedication to Vladimir Gerdt.
Math. Comput. Sci.
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2021 J jnl
LIFT: lncRNA identification and function-prediction tool.
Int. J. Bioinform. Res. Appl.
Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England
2021 Misc conf
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.
SYNASC
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
2021 — conf
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.
ARCADE@CADE
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2021 J jnl
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.
CoRR
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2021 — conf
SC-Square: Future Progress with Machine Learning? (invited paper).
SC-Square@SIAM AG
Matthew England
2021 — conf
SC-Square: Overview to 2021 (invited paper).
SC-Square@SIAM AG
Matthew England
2021 J jnl
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2021 J jnl
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.
ACM Commun. Comput. Algebra
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2020 — conf
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs.
ICMS
Dorian Florescu, Matthew England
2020 J jnl
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs.
CoRR
Dorian Florescu, Matthew England
2020 B ed.
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
CASC
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2020 — conf
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.
CEP
David Croft, Matthew England
2020 J jnl
Cylindrical algebraic decomposition with equational constraints.
J. Symb. Comput.
Matthew England, Russell J. Bradford, James H. Davenport
2020 J jnl
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings.
CoRR
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2020 — conf
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.
CEP
Simon Billings, Matthew England
2020 J jnl
Identifying the parametric occurrence of multiple steady states for some biological networks.
J. Symb. Comput.
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2020 J jnl
New Opportunities for the Formal Proof of Computational Real Geometry?
CoRR
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
2020 — conf
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).
PAAR+SC²@IJCAR
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
2020 B conf
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning.
ISSAC
Matthew England
2020 J jnl
Symbolic computation and satisfiability checking.
J. Symb. Comput.
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
2019 — conf
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning.
SC-square@SIAM AG
Dorian Florescu, Matthew England
2019 J jnl
Algorithmically generating new algebraic features of polynomial systems for machine learning.
CoRR
Dorian Florescu, Matthew England
2019 C conf
Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.
CICM
Matthew England, Dorian Florescu
2019 J jnl
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition.
CoRR
Matthew England, Dorian Florescu
2019 B ed.
Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings
CASC
Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
2019 J jnl
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.
CoRR
David Croft, Matthew England
2019 — conf
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback.
CEP
David Croft, Matthew England
2019 J jnl
Cylindrical Algebraic Decomposition with Equational Constraints.
CoRR
Matthew England, Russell J. Bradford, James H. Davenport
2019 J jnl
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.
CoRR
Simon Billings, Matthew England
2019 J jnl
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2019 — conf
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness.
MACIS
Dorian Florescu, Matthew England
2019 J jnl
Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness.
CoRR
Dorian Florescu, Matthew England
2019 — conf
Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple.
MC
Matthew England, Dorian Florescu
2019 J jnl
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets.
Comput. Biol. Medicine
Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England
2019 J jnl
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets.
CoRR
Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England
2019 J jnl
Using Machine Learning to Improve Cylindrical Algebraic Decomposition.
Math. Comput. Sci.
Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson
2018 C conf
A Combined CNN and LSTM Model for Arabic Sentiment Analysis.
CD-MAKE
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
2018 J jnl
A Combined CNN and LSTM Model for Arabic Sentiment Analysis.
CoRR
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
2018 J jnl
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback.
CoRR
David Croft, Matthew England
2018 — conf
Improving Sentiment Analysis in Arabic Using Word Representation.
ASAR
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
2018 J jnl
Improving Sentiment Analysis in Arabic Using Word Representation.
CoRR
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
2018 — conf
Machine Learning for Mathematical Software.
ICMS
Matthew England
2018 J jnl
Machine Learning for Mathematical Software.
CoRR
Matthew England
2018 — conf
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.
SC-Square@FLOC
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
2018 J jnl
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.
CoRR
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
2018 J jnl
OpenMath and SMT-LIB.
CoRR
James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin
2018 J jnl
Quantifier Elimination for Reasoning in Economics.
CoRR
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
2018 J jnl
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition.
CoRR
Alexander Imani Cowen-Rivers, Matthew England
2018 — conf
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.
ICMS
Casey B. Mulligan, James H. Davenport, Matthew England
2018 J jnl
TheoryGuru: A Mathematica Package to apply Quantifier Elimination.
CoRR
Casey B. Mulligan, James Harold Davenport, Matthew England
2018 — conf
Towards Incremental Cylindrical Algebraic Decomposition in Maple.
SC-Square@FLOC
Alexander I. Cowen-Rivers, Matthew England
2018 J jnl
Towards Incremental Cylindrical Algebraic Decomposition in Maple.
CoRR
Alexander Imani Cowen-Rivers, Matthew England
2018 J jnl
Using Machine Learning to Improve Cylindrical Algebraic Decomposition.
CoRR
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
2017 B conf
A Case Study on the Parametric Occurrence of Multiple Steady States.
ISSAC
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017 J jnl
A Case Study on the Parametric Occurrence of Multiple Steady States.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017 J jnl
Arabic Language Sentiment Analysis on Health Services.
CoRR
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
2017 — conf
Arabic language sentiment analysis on health services.
ASAR
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
2017 C ed.
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
CICM
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
2017 — conf
Preface.
SC²@ISSAC
Matthew England, Vijay Ganesh
2017 — ed.
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017.
SC²@ISSAC
Matthew England, Vijay Ganesh
2017 — conf
SC-square: when Satisfiability Checking and Symbolic Computation join forces.
ARCADE@CADE
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
2017 B conf
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks.
CASC
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017 J jnl
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks.
CoRR
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017 — conf
The Potential and Challenges of CAD with Equational Constraints for SC-Square.
MACIS
James H. Davenport, Matthew England
2017 J jnl
The Potential and Challenges of CAD with Equational Constraints for SC-Square.
CoRR
James H. Davenport, Matthew England
2016 — conf
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition.
SC²@SYNASC
Matthew England, James H. Davenport
2016 J jnl
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition.
CoRR
Matthew England, James H. Davenport
2016 — conf
Need Polynomial Systems Be Doubly-Exponential?
ICMS
James H. Davenport, Matthew England
2016 J jnl
Need Polynomial Systems be Doubly-exponential?
CoRR
James H. Davenport, Matthew England
2016 C conf
SC
CICM
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 J jnl
Satisfiability Checking and Symbolic Computation.
CoRR
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 J jnl
Satisfiability Checking meets Symbolic Computation (Project Paper).
CoRR
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 J jnl
Satisfiability checking and symbolic computation.
ACM Commun. Comput. Algebra
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016 B conf
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree.
CASC
Matthew England, James H. Davenport
2016 J jnl
The complexity of cylindrical algebraic decomposition with respect to polynomial degree.
CoRR
Matthew England, James H. Davenport
2016 J jnl
Truth table invariant cylindrical algebraic decomposition.
J. Symb. Comput.
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2016 J jnl
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases.
CoRR
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
2016 Misc conf
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.
SYNASC
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
2015 J jnl
An implementation of Sub-CAD in Maple.
CoRR
Matthew England, David J. Wilson
2015 B conf
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.
ISSAC
Matthew England, Russell J. Bradford, James H. Davenport
2015 J jnl
Improving the use of equational constraints in cylindrical algebraic decomposition.
CoRR
Matthew England, Russell J. Bradford, James H. Davenport
2015 J jnl
Recent Advances in Real Geometric Reasoning.
CoRR
James H. Davenport, Matthew England
2015 J jnl
Report on the 40th International Symposium on Symbolic and Algebraic Computation.
ACM Commun. Comput. Algebra
Matthew England
2014 J jnl
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
2014 J jnl
A comparison of three heuristics to choose the variable ordering for CAD.
CoRR
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
2014 C conf
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition.
CICM
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
2014 J jnl
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition.
CoRR
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge
2014 J jnl
Branch cuts in maple 17.
ACM Commun. Comput. Algebra
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson
2014 — conf
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.
ICMS
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2014 J jnl
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.
CoRR
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2014 J jnl
Cylindrical Algebraic Sub-Decompositions.
CoRR
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
2014 J jnl
Cylindrical Algebraic Sub-Decompositions.
Math. Comput. Sci.
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
2014 J jnl
Formulating problems for real algebraic geometry.
CoRR
Matthew England
2014 — ed.
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014.
CICM Workshops
Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt
2014 C conf
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.
CICM
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014 J jnl
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.
CoRR
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014 — conf
Recent Advances in Real Geometric Reasoning.
ADG
James H. Davenport, Matthew England
2014 B conf
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
CASC
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014 J jnl
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
CoRR
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014 J jnl
Truth Table Invariant Cylindrical Algebraic Decomposition.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2014 Misc conf
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition.
SYNASC
David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
2014 — conf
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.
ICMS
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
2014 J jnl
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting.
CoRR
Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
2014 J jnl
Using the distribution of cells by dimension in a cylindrical algebraic decomposition.
CoRR
David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
2013 Misc conf
A "Piano Movers" Problem Reformulated.
SYNASC
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
2013 J jnl
A "Piano Movers" Problem Reformulated.
CoRR
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
2013 J jnl
An implementation of CAD in Maple utilising McCallum projection
CoRR
Matthew England
2013 J jnl
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance.
CoRR
Matthew England
2013 J jnl
Branch Cuts in Maple 17.
CoRR
Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson
2013 J jnl
Cylindrical Algebraic Decompositions for Boolean Combinations
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013 B conf
Cylindrical algebraic decompositions for boolean combinations.
ISSAC
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013 J jnl
Optimising Problem Formulation for Cylindrical Algebraic Decomposition
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
2013 — conf
Optimising Problem Formulation for Cylindrical Algebraic Decomposition.
MKM/Calculemus/DML
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
2013 J jnl
Understanding Branch Cuts of Expressions
CoRR
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2013 — conf
Understanding Branch Cuts of Expressions.
MKM/Calculemus/DML
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2012 Misc conf
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.
SYNASC
James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
2012 J jnl
Program Verification in the presence of complex numbers, functions with branch cuts etc
CoRR
James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
2011 J jnl
Abelian functions associated with genus three algebraic curves.
LMS J. Comput. Math.
J. Chris Eilbeck, Matthew England, Yoshihiro Ônishi