James H. Davenport

ORCID

Publication Activity (10 Years)

Years Active: 1972-2024
Publications (10 Years): 100

Top Venues

Publications

Rohit John, James H. Davenport
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition. ICMS (2024)
Tom Prickett, Tom Crick, James H. Davenport, David S. Bowers, Alan Hayes, Alastair Irons
Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes. ITiCSE (1) (2024)
Raina Mason, Simon, Brett A. Becker, Tom Crick, James H. Davenport
A Global Survey of Introductory Programming Courses. SIGCSE (1) (2024)
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 (2024)
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. SYNASC (2023)
James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali Kemal Uncu
Lazard-style CAD and Equational Constraints. CoRR (2023)
James H. Davenport, Jessica R. Jones, Matthew Thomason
A Practical Overview of Quantum Computing: Is Exascale Possible? CoRR (2023)
James H. Davenport, Matthew England
Iterated Resultants in CAD. CoRR (2023)
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. CoRR (2023)
James H. Davenport
So the problem has poor complexity: what next? SYNASC (2023)
Tom Crick, James H. Davenport, Alan Hayes, Tom Prickett
Teaching Programming Competencies: A Role for Craft Computing? UKICER (2023)
Ali Kemal Uncu, James H. Davenport, Matthew England
SMT-Solving Induction Proofs of Inequalities. CoRR (2023)
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
Iterated Resultants and Rational Functions in Real Quantifier Elimination. CoRR (2023)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. CoRR (2022)
James H. Davenport, Ali Kemal Uncu
Artificial Conflict Sampling for Real Satisfiability Problems. SYNASC (2022)
Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett, Simon Payne
A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics. ITiCSE (2) (2022)
Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Keith Miller, Tom Prickett, Rupert Ward, Becky Allen, Bhagyashree Patil, Simon Payne
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK. CEP (2022)
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) (2022)
Ali Kemal Uncu, James H. Davenport, Matthew England
SMT-Solving Induction Proofs of Inequalities. SC-Square@FLoC (2022)
Alastair Irons, Tom Crick, James H. Davenport, Tom Prickett
Increasing the Value of Professional Body Computer Science Degree Accreditation. SIGCSE (2021)
Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett
Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK. ITiCSE (Working Group Reports) (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR (2021)
James H. Davenport, Michael Kohlhase
OpenMath Preface. CICM Workshops (2021)
James H. Davenport, Zak Tonks, Ali Kemal Uncu
Practical Evaluation of Quantifier Elimination Methods (short paper). SC-Square@SIAM AG (2021)
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) (2021)
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC (2021)
Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett
Supporting Early-Career Academics in the UK Computer Science Community. CEP (2021)
Akshar S. Nair, James H. Davenport, Gregory Sankaran
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). SC-Square@SIAM AG (2021)
Rupert Ward, Oliver Phillips, David Bowers, Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Tom Prickett
Towards a 21st Century Personalised Learning Skills Taxonomy. EDUCON (2021)
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 (2021)
James H. Davenport
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. SC-Square@SIAM AG (2021)
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 (2021)
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)
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
Symbolic computation and satisfiability checking. J. Symb. Comput. 100 (2020)
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 (2020)
James H. Davenport, Benjamin Pring
Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES. SAC (2020)
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)
Nikhil Fernandes, Alexandra Gkolia, Nicolas Pizzo, James H. Davenport, Akshar Nair
Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks. CoRR (2020)
Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett
Overcoming the Challenges of Teaching Cybersecurity in UK Computer Science Degree Programmes. FIE (2020)
Matthew England, Russell J. Bradford, James H. Davenport
Cylindrical algebraic decomposition with equational constraints. J. Symb. Comput. 100 (2020)
Alexandra Gkolia, Nikhil Fernandes, Nicolas Pizzo, James H. Davenport, Akshar Nair
The Influence of Domain-Based Preprocessing on Subject-Specific Clustering. CoRR (2020)
George Labahn, James H. Davenport, Josef Urban
Foreword. Math. Comput. Sci. 14 (3) (2020)
Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran
The CAD Conundrum: Lex-Least vs Order. SYNASC (2020)
Tom Crick, Tom Prickett, James H. Davenport, Alastair Irons
Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study. ITiCSE (2020)
Akshar Nair, James H. Davenport, Gregory Sankaran
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? ICMS (2020)
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 (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR (2020)
Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett
Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update. CEP (2020)
James H. Davenport, Tom Crick, Rachid Hourizi
The Institute of Coding: A University-Industry Collaboration to Address the UK's Digital Skills Crisis. EDUCON (2020)
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 (2019)
James H. Davenport, Tom Crick, Alan Hayes, Rachid Hourizi
The Institute of Coding: Addressing the UK Digital Skills Crisis. CEP (2019)
Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett
A UK Case Study on Cybersecurity Education and Accreditation. CoRR (2019)
Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett
A UK Case Study on Cybersecurity Education and Accreditation. FIE (2019)
James H. Davenport, Rachid Hourizi
The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis. SIGCSE (2019)
James H. Davenport
Formal Methods and CyberSecurity. CoRR (2019)
Akshar Nair, James H. Davenport, Gregory Sankaran
On Benefits of Equality Constraints in Lex-Least Invariant CAD. SC-square@SIAM AG (2019)
Matthew England, Russell J. Bradford, James H. Davenport
Cylindrical Algebraic Decomposition with Equational Constraints. CoRR (2019)
James H. Davenport, Laura Kovács, Daniela Zaharie
Foreword. Math. Comput. Sci. 13 (4) (2019)
James H. Davenport, Tom Crick
Cybersecurity Education and Formal Methods. FMFun (2019)
Jack D. Betteridge, James H. Davenport, Melina A. Freitag, Willem Heijtljes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason
Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics. CEP (2019)
Akshar Nair, James H. Davenport, Gregory Sankaran, Scott McCallum
Lazard's CAD exploiting equality constraints. ACM Commun. Comput. Algebra 53 (3) (2019)
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) (2019)
Casey B. Mulligan, James H. Davenport, Matthew England
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. ICMS (2018)
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 (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Quantifier Elimination for Reasoning in Economics. CoRR (2018)
James H. Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe
Machine-Assisted Proofs (ICM 2018 Panel). CoRR (2018)
James H. Davenport, Acyr F. Locatelli, Gregory K. Sankaran
Regular cylindrical algebraic decomposition. CoRR (2018)
Simon, Raina Mason, Tom Crick, James H. Davenport, Ellen Murphy
Language Choice in Introductory Programming Courses at Australasian and UK Universities. SIGCSE (2018)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. CoRR (2018)
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)
James H. Davenport
Methodologies of Symbolic Computation. AISC (2018)
James H. Davenport
The Rôle of Benchmarking in Symbolic Computation (Position Paper). SYNASC (2018)
James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin
OpenMath and SMT-LIB. CoRR (2018)
Martin Brain, James H. Davenport, Alberto Griggio
Benchmarking Solvers, SAT-style. SC²@ISSAC (2017)
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)
James H. Davenport, Matthew England
The Potential and Challenges of CAD with Equational Constraints for SC-Square. MACIS (2017)
Ellen Murphy, Tom Crick, James H. Davenport
An Analysis of Introductory Programming Courses at UK Universities. Art Sci. Eng. Program. 1 (2) (2017)
James H. Davenport
What Does "Without Loss of Generality" Mean, and How Do We Detect It. Math. Comput. Sci. 11 (3-4) (2017)
Zak Tonks, Gregory Sankaran, James H. Davenport
Fast Matrix Operations in Computer Algebra. SYNASC (2017)
James H. Davenport, Matthew England
The Potential and Challenges of CAD with Equational Constraints for SC-Square. CoRR (2017)
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)
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 (2017)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76 (2016)
James H. Davenport
What Does "Without Loss of Generality" Mean (And How Do We Detect It). SC²@SYNASC (2016)
Ellen Murphy, Tom Crick, James H. Davenport
An Analysis of Introductory University Programming Courses in the UK. CoRR (2016)
Matthew England, James H. Davenport
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. CASC (2016)
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 (2016)
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 (2016)
James H. Davenport, Alan Hayes, Rachid Hourizi, Tom Crick
Innovative Pedagogical Practices in the Craft of Computing. LaTiCE (2016)
Matthew England, James H. Davenport
The complexity of cylindrical algebraic decomposition with respect to polynomial degree. CoRR (2016)
James H. Davenport, Matthew England
Need Polynomial Systems Be Doubly-Exponential? ICMS (2016)
James H. Davenport
Complexity of Integration, Special Values, and Recent Developments. ICMS (2016)
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) (2016)
James H. Davenport, Matthew England
Need Polynomial Systems be Doubly-exponential? CoRR (2016)
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)
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). CICM (2016)
James H. Davenport, Christophe Petit, Benjamin Pring
A Generalised Successive Resultants Algorithm. WAIFI (2016)
Matthew England, James H. Davenport
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. SC²@SYNASC (2016)
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 (2016)
Matthew England, James H. Davenport
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. CoRR (2016)

James H. Davenport.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James H. Davenport