default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew England 0001
Person information
- affiliation: Coventry University, School of Computing, Electronics and Maths, UK
- affiliation: University of Bath, Department of Computer Science, UK
- affiliation (PhD): Heriot-Watt University, Edinburgh, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j26]Seyed R. Mousavi
, Soni Bhambar, Matthew England:
An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem. Int. Trans. Oper. Res. 32(1): 144-175 (2025)- 2024
- [j25]Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen:
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. J. Symb. Comput. 123: 102276 (2024) - [j24]Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England:
Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. 123: 102288 (2024) - [j23]Tereso del Río, Matthew England:
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. Math. Comput. Sci. 18(3): 17 (2024) - [c53]Matthew England:
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). CASC 2024: 1-10 - [c52]Rashid Barket, Matthew England, Jürgen Gerhard:
The Liouville Generator for Producing Integrable Expressions. CASC 2024: 47-62 - [c51]Rashid Barket, Matthew England, Jürgen Gerhard:
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. ICMS 2024: 167-175 - [c50]Dorian Florescu, Matthew England:
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. ICMS 2024: 186-195 - [i73]Tereso del Río, Matthew England:
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. CoRR abs/2401.13343 (2024) - [i72]Rashid Barket, Matthew England, Jürgen Gerhard:
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs. CoRR abs/2404.14973 (2024) - [i71]Dorian Florescu, Matthew England:
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. CoRR abs/2404.17508 (2024) - [i70]Rashid Barket, Matthew England, Jürgen Gerhard:
The Liouville Generator for Producing Integrable Expressions. CoRR abs/2406.11631 (2024) - [i69]Matthew England:
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition. CoRR abs/2407.19781 (2024) - 2023
- [j22]Tereso del Río, AmirHosein Sadeghimanesh, Matthew England:
Clustering in the Lazard method for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57(3): 126-132 (2023) - [j21]Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
Foreword. Math. Comput. Sci. 17(3): 22 (2023) - [c49]Rashid Barket, Matthew England, Jürgen Gerhard:
Generating Elementary Integrable Expressions. CASC 2023: 21-38 - [c48]Tereso del Río, Matthew England:
Data Augmentation for Mathematical Objects. SC-Square@ISSAC 2023: 29-38 - [e8]François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Lecture Notes in Computer Science 14139, Springer 2023, ISBN 978-3-031-41723-8 [contents] - [d3]Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities Benchmarking Repository. Zenodo, 2023
- [i68]Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen:
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. CoRR abs/2304.12154 (2023) - [i67]Rashid Barket, Matthew England, Jürgen Gerhard:
Generating Elementary Integrable Expressions. CoRR abs/2306.15572 (2023) - [i66]Tereso Del Rio Almajano, Matthew England:
Data Augmentation for Mathematical Objects. CoRR abs/2307.06984 (2023) - [i65]James H. Davenport, Matthew England:
Iterated Resultants in CAD. CoRR abs/2307.16750 (2023) - [i64]Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities. CoRR abs/2307.16761 (2023) - [i63]James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu:
Iterated Resultants and Rational Functions in Real Quantifier Elimination. CoRR abs/2312.16210 (2023) - 2022
- [j20]AmirHosein Sadeghimanesh, Matthew England:
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. BMC Bioinform. 23(1): 391 (2022) - [j19]AmirHosein Sadeghimanesh, Matthew England:
An SMT solver for non-linear real arithmetic inside maple. ACM Commun. Comput. Algebra 56(2): 76-79 (2022) - [j18]Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
Foreword. Math. Comput. Sci. 16(2-3): 16 (2022) - [c47]Tereso del Río, Matthew England:
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. CASC 2022: 300-317 - [c46]Beate Grawemeyer, John Halloran, Matthew England, David Croft:
Feedback and Engagement on an Introductory Programming Module. CEP 2022: 17-20 - [c45]Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities. SC-Square@FLoC 2022: 10-24 - [e7]François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings. Lecture Notes in Computer Science 13366, Springer 2022, ISBN 978-3-031-14787-6 [contents] - [i62]Beate Grawemeyer, John Halloran, Matthew England, David Croft:
Feedback and Engagement on an Introductory Programming Module. CoRR abs/2201.01240 (2022) - [i61]AmirHosein Sadeghimanesh, Matthew England:
Resultant Tools for Parametric Polynomial Systems with Application to Population Models. CoRR abs/2201.13189 (2022) - [i60]Tereso del Río, Matthew England:
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis. CoRR abs/2206.13480 (2022) - [i59]Matthew England:
SC-Square: Overview to 2021. CoRR abs/2209.04359 (2022) - [i58]Matthew England:
SC-Square: Future Progress with Machine Learning? CoRR abs/2209.04361 (2022) - [i57]Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England:
Levelwise construction of a single cylindrical algebraic cell. CoRR abs/2212.09309 (2022) - [i56]Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio:
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports 12(2): 67-86 (2022) - 2021
- [j17]Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu:
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra 55(3): 107-111 (2021) - [j16]Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England:
LIFT: lncRNA identification and function-prediction tool. Int. J. Bioinform. Res. Appl. 17(6): 512-536 (2021) - [j15]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebraic Methods Program. 119: 100633 (2021) - [j14]Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm:
Foreword, with a Dedication to Andreas Weber. Math. Comput. Sci. 15(2): 173-175 (2021) - [j13]Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm:
Foreword, with a Dedication to Vladimir Gerdt. Math. Comput. Sci. 15(3): 369-371 (2021) - [c44]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. ARCADE@CADE 2021: 1-5 - [c43]Matthew England:
SC-Square: Overview to 2021 (invited paper). SC-Square@SIAM AG 2021: 1-6 - [c42]Matthew England:
SC-Square: Future Progress with Machine Learning? (invited paper). SC-Square@SIAM AG 2021: 7-16 - [c41]Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport:
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC 2021: 37-39 - [e6]François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings. Lecture Notes in Computer Science 12865, Springer 2021, ISBN 978-3-030-85164-4 [contents] - [i55]Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu:
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR abs/2106.08740 (2021) - [i54]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR abs/2108.05320 (2021) - 2020
- [j12]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:
Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98: 84-119 (2020) - [j11]James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli:
Symbolic computation and satisfiability checking. J. Symb. Comput. 100: 1-10 (2020) - [j10]Matthew England, Russell J. Bradford, James H. Davenport:
Cylindrical algebraic decomposition with equational constraints. J. Symb. Comput. 100: 38-71 (2020) - [c40]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR 2020: 178-188 - [c39]David Croft, Matthew England:
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. CEP 2020: 1:1-1:4 - [c38]Simon Billings, Matthew England:
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. CEP 2020: 2:1-2:4 - [c37]Dorian Florescu, Matthew England:
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. ICMS 2020: 302-311 - [c36]Matthew England:
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. ISSAC 2020: 13 - [e5]François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science 12291, Springer 2020, ISBN 978-3-030-60025-9 [contents] - [i53]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer:
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. CoRR abs/2003.05633 (2020) - [i52]Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR abs/2004.04034 (2020) - [i51]Dorian Florescu, Matthew England:
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs. CoRR abs/2005.11251 (2020)
2010 – 2019
- 2019
- [j9]Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England:
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. Comput. Biol. Medicine 105: 169-181 (2019) - [j8]Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Math. Comput. Sci. 13(4): 461-488 (2019) - [c35]David Croft, Matthew England:
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. CEP 2019: 16:1-16:4 - [c34]Dorian Florescu, Matthew England:
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness. MACIS 2019: 341-356 - [c33]Matthew England, Dorian Florescu:
Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple. MC 2019: 330-333 - [c32]Matthew England, Dorian Florescu:
Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. CICM 2019: 93-108 - [c31]Dorian Florescu, Matthew England:
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. SC-square@SIAM AG 2019 - [e4]Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings. Lecture Notes in Computer Science 11661, Springer 2019, ISBN 978-3-030-26830-5 [contents] - [i50]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:
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR abs/1902.04882 (2019) - [i49]Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England:
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. CoRR abs/1902.05064 (2019) - [i48]Matthew England, Russell J. Bradford, James H. Davenport:
Cylindrical Algebraic Decomposition with Equational Constraints. CoRR abs/1903.08999 (2019) - [i47]Matthew England, Dorian Florescu:
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. CoRR abs/1904.11061 (2019) - [i46]Dorian Florescu, Matthew England:
Algorithmically generating new algebraic features of polynomial systems for machine learning. CoRR abs/1906.01455 (2019) - [i45]David Croft, Matthew England:
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. CoRR abs/1911.11085 (2019) - [i44]Simon Billings, Matthew England:
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. CoRR abs/1911.11088 (2019) - [i43]Dorian Florescu, Matthew England:
Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness. CoRR abs/1911.12672 (2019) - 2018
- [c30]Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal:
Improving Sentiment Analysis in Arabic Using Word Representation. ASAR 2018: 13-18 - [c29]Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal:
A Combined CNN and LSTM Model for Arabic Sentiment Analysis. CD-MAKE 2018: 179-191 - [c28]Matthew England:
Machine Learning for Mathematical Software. ICMS 2018: 165-174 - [c27]Casey B. Mulligan, James H. Davenport, Matthew England:
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. ICMS 2018: 369-378 - [c26]Alexander I. Cowen-Rivers, Matthew England:
Towards Incremental Cylindrical Algebraic Decomposition in Maple. SC-Square@FLOC 2018: 3 - [c25]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC 2018: 48 - [d2]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Datset of automated economic reasoning problems for QE / SMT. Zenodo, 2018 - [d1]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Datset of automated economic reasoning problems for QE / SMT. Zenodo, 2018 - [i42]Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal:
Improving Sentiment Analysis in Arabic Using Word Representation. CoRR abs/1803.00124 (2018) - [i41]James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin:
OpenMath and SMT-LIB. CoRR abs/1803.01592 (2018) - [i40]Alexander Imani Cowen-Rivers, Matthew England:
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition. CoRR abs/1804.08564 (2018) - [i39]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Quantifier Elimination for Reasoning in Economics. CoRR abs/1804.10037 (2018) - [i38]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. CoRR abs/1804.10520 (2018) - [i37]Alexander Imani Cowen-Rivers, Matthew England:
Towards Incremental Cylindrical Algebraic Decomposition in Maple. CoRR abs/1805.10136 (2018) - [i36]Matthew England:
Machine Learning for Mathematical Software. CoRR abs/1806.10920 (2018) - [i35]Casey B. Mulligan, James Harold Davenport, Matthew England:
TheoryGuru: A Mathematica Package to apply Quantifier Elimination. CoRR abs/1806.10925 (2018) - [i34]Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR abs/1806.11447 (2018) - [i33]Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal:
A Combined CNN and LSTM Model for Arabic Sentiment Analysis. CoRR abs/1807.02911 (2018) - [i32]David Croft, Matthew England:
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. CoRR abs/1812.03886 (2018) - 2017
- [c24]Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal:
Arabic language sentiment analysis on health services. ASAR 2017: 114-118 - [c23]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:
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 2017: 6-10 - [c22]Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CASC 2017: 93-108 - [c21]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:
A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC 2017: 45-52 - [c20]Matthew England, Vijay Ganesh:
Preface. SC²@ISSAC 2017 - [c19]James H. Davenport, Matthew England:
The Potential and Challenges of CAD with Equational Constraints for SC-Square. MACIS 2017: 280-285 - [e3]Matthew England, Vijay Ganesh:
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. CEUR Workshop Proceedings 1974, CEUR-WS.org 2017 [contents] - [e2]Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke:
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science 10383, Springer 2017, ISBN 978-3-319-62074-9 [contents] - [i31]Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal:
Arabic Language Sentiment Analysis on Health Services. CoRR abs/1702.03197 (2017) - [i30]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:
A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR abs/1704.08997 (2017) - [i29]Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CoRR abs/1706.08794 (2017) - [i28]James H. Davenport, Matthew England:
The Potential and Challenges of CAD with Equational Constraints for SC-Square. CoRR abs/1711.00312 (2017) - 2016
- [j7]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:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j6]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76: 1-35 (2016) - [c18]Matthew England, James H. Davenport:
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. CASC 2016: 172-192 - [c17]James H. Davenport, Matthew England:
Need Polynomial Systems Be Doubly-Exponential? ICMS 2016: 157-164 - [c16]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:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c15]Matthew England, James H. Davenport:
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. SC²@SYNASC 2016: 24-31 - [c14]Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. SYNASC 2016: 45-52 - [i27]Matthew England, James H. Davenport:
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. CoRR abs/1605.02494 (2016) - [i26]James H. Davenport, Matthew England:
Need Polynomial Systems be Doubly-exponential? CoRR abs/1605.02912 (2016) - [i25]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:
Satisfiability Checking and Symbolic Computation. CoRR abs/1607.06945 (2016) - [i24]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:
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016) - [i23]Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases. CoRR abs/1608.04219 (2016) - [i22]Matthew England, James H. Davenport:
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. CoRR abs/1609.09269 (2016) - 2015
- [j5]Matthew England:
Report on the 40th International Symposium on Symbolic and Algebraic Computation. ACM Commun. Comput. Algebra 49(3): 69 (2015) - [c13]Matthew England, Russell J. Bradford, James H. Davenport:
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. ISSAC 2015: 165-172 - [i21]Matthew England, Russell J. Bradford, James H. Davenport:
Improving the use of equational constraints in cylindrical algebraic decomposition. CoRR abs/1501.04466 (2015) - [i20]Matthew England, David J. Wilson:
An implementation of Sub-CAD in Maple. CoRR abs/1503.06599 (2015) - [i19]James H. Davenport, Matthew England:
Recent Advances in Real Geometric Reasoning. CoRR abs/1504.06484 (2015) - 2014
- [j4]Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson:
Branch cuts in maple 17. ACM Commun. Comput. Algebra 48(1/2): 24-27 (2014) - [j3]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 48(3/4): 121-123 (2014) - [j2]David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions. Math. Comput. Sci. 8(2): 263-288 (2014) - [c12]James H. Davenport, Matthew England:
Recent Advances in Real Geometric Reasoning. ADG 2014: 37-52 - [c11]Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC 2014: 44-58 - [c10]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ICMS 2014: 450-457 - [c9]Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport:
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. ICMS 2014: 458-465 - [c8]Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM 2014: 45-60 - [c7]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. CICM 2014: 92-107 - [c6]David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport:
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. SYNASC 2014: 53-60 - [e1]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:
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. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [i18]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition. CoRR abs/1401.0645 (2014) - [i17]David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions. CoRR abs/1401.0647 (2014) - [i16]Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR abs/1401.6310 (2014) - [i15]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. CoRR abs/1404.6369 (2014) - [i14]Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR abs/1404.6371 (2014) - [i13]Matthew England:
Formulating problems for real algebraic geometry. CoRR abs/1405.3461 (2014) - [i12]Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
A comparison of three heuristics to choose the variable ordering for CAD. CoRR abs/1405.6082 (2014) - [i11]Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport:
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. CoRR abs/1405.6090 (2014) - [i10]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR abs/1405.6094 (2014) - [i9]David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport:
Using the distribution of cells by dimension in a cylindrical algebraic decomposition. CoRR abs/1409.1781 (2014) - 2013
- [c5]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Cylindrical algebraic decompositions for boolean combinations. ISSAC 2013: 125-132 - [c4]Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. MKM/Calculemus/DML 2013: 19-34 - [c3]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. MKM/Calculemus/DML 2013: 136-151 - [c2]David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated. SYNASC 2013: 53-60 - [i8]Matthew England:
An implementation of CAD in Maple utilising McCallum projection. CoRR abs/1302.6401 (2013) - [i7]Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. CoRR abs/1304.7222 (2013) - [i6]Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. CoRR abs/1304.7223 (2013) - [i5]Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Cylindrical Algebraic Decompositions for Boolean Combinations. CoRR abs/1304.7603 (2013) - [i4]Matthew England:
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance. CoRR abs/1306.3062 (2013) - [i3]Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson:
Branch Cuts in Maple 17. CoRR abs/1308.6523 (2013) - [i2]David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated. CoRR abs/1309.1588 (2013) - 2012
- [c1]James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson:
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. SYNASC 2012: 83-88 - [i1]James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson:
Program Verification in the presence of complex numbers, functions with branch cuts etc. CoRR abs/1212.5417 (2012) - 2011
- [j1]J. Chris Eilbeck, Matthew England, Yoshihiro Ônishi:
Abelian functions associated with genus three algebraic curves. LMS J. Comput. Math. 14: 291-326 (2011)
Coauthor Index
James H. Davenport
aka: James Harold Davenport
aka: James Harold Davenport
[j24] [d3] [i65] [i64] [i63] [c45] [i57] [i56] [j17] [j15] [c44] [c41] [i55] [i54] [j12] [j11] [j10] [c40] [i53] [i52] [j8] [i50] [i48] [c27] [c25] [d2] [d1] [i41] [i39] [i38] [i35] [i34] [c23] [c21] [c19] [i30] [i28] [j7] [j6] [c18] [c17] [c16] [c15] [c14] [i27] [i26] [i25] [i24] [i23] [i22] [c13] [i21] [i19] [j4] [j3] [j2] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [e1] [i18] [i17] [i16] [i15] [i14] [i12] [i11] [i10] [i9] [c5] [c4] [c3] [c2] [i7] [i6] [i5] [i3] [i2] [c1] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-05 21:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
