James H. Davenport

252 papers A 3B 21C 15Misc 19Journal 107Unranked 73
YearRankTypeTitle / Venue / Authors
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 C conf
Postgraduate Cybersecurity Education for Non-Specialist Professionals.
EDUCON
James H. Davenport, Tim French
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 C conf
Towards a Framework for Mapping Authentic Assessment to Competency in University Computing Education in the Uk.
EDUCON
Tom Prickett, Ian R. McChesney, Emma Norling, Alan Hayes, Alexandros Chrysikos, Steve Riddle, James H. Davenport, Alastair Irons, Tom Crick
2024 — conf
A Global Survey of Introductory Programming Courses.
SIGCSE (1)
Raina Mason, Simon, Brett A. Becker, Tom Crick, James H. Davenport
2024 — conf
Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes.
ITiCSE (1)
Tom Prickett, Tom Crick, James H. Davenport, David S. Bowers, Alan Hayes, Alastair Irons
2024 — conf
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition.
ICMS
Rohit John, James H. Davenport
2024 Misc conf
First Steps Towards Computational Polynomials in Lean.
SYNASC
James H. Davenport
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 Misc conf
Towards Verified Polynomial Factorisation.
SYNASC
James H. Davenport
2024 J jnl
Towards Verified Polynomial Factorisation.
CoRR
James H. Davenport
2023 Misc conf
A Poly-algorithmic Approach to Quantifier Elimination.
SYNASC
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
2023 J jnl
A Poly-algorithmic Approach to Quantifier Elimination.
CoRR
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
2023 J jnl
A Practical Overview of Quantum Computing: Is Exascale Possible?
CoRR
James H. Davenport, Jessica R. Jones, Matthew Thomason
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 — ed.
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021.
CICM Workshops
Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen
2023 J jnl
Lazard-style CAD and Equational Constraints.
CoRR
James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali Kemal Uncu
2023 J jnl
SMT-Solving Induction Proofs of Inequalities.
CoRR
Ali Kemal Uncu, James H. Davenport, Matthew England
2023 Misc conf
So the problem has poor complexity: what next?
SYNASC
James H. Davenport
2023 — conf
Teaching Programming Competencies: A Role for Craft Computing?
UKICER
Tom Crick, James H. Davenport, Alan Hayes, Tom Prickett
2022 — conf
A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics.
ITiCSE (2)
Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett, Simon Payne
2022 Misc conf
Artificial Conflict Sampling for Real Satisfiability Problems.
SYNASC
James H. Davenport, Ali Kemal Uncu
2022 — conf
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK.
CEP
Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Keith Miller, Tom Prickett, Rupert Ward, Becky Allen, Bhagyashree Patil, Simon Payne
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 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 — ed.
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021.
SC-Square@SIAM AG
Curtis Bright, James H. Davenport
2022 — conf
SMT-Solving Induction Proofs of Inequalities.
SC-Square@FLoC
Ali Kemal Uncu, James H. Davenport, Matthew England
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 — conf
Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK.
ITiCSE (2)
Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett
2021 — conf
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper).
SC-Square@SIAM AG
Akshar S. Nair, James H. Davenport, Gregory Sankaran
2021 A conf
Increasing the Value of Professional Body Computer Science Degree Accreditation.
SIGCSE
Alastair Irons, Tom Crick, James H. Davenport, Tom Prickett
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
OpenMath Preface.
CICM Workshops
James H. Davenport, Michael Kohlhase
2021 — conf
Practical Evaluation of Quantifier Elimination Methods (short paper).
SC-Square@SIAM AG
James H. Davenport, Zak Tonks, Ali Kemal Uncu
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
Supporting Early-Career Academics in the UK Computer Science Community.
CEP
Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett
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
2021 C conf
Towards a 21st Century Personalised Learning Skills Taxonomy.
EDUCON
Rupert Ward, Oliver Phillips, David Bowers, Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Tom Prickett
2021 — conf
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition.
SC-Square@SIAM AG
James H. Davenport
2020 B conf
Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study.
ITiCSE
Tom Crick, Tom Prickett, James H. Davenport, Alastair Irons
2020 — conf
Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update.
CEP
Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett
2020 — conf
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
ICMS
Akshar Nair, James H. Davenport, Gregory Sankaran
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 J jnl
Foreword.
Math. Comput. Sci.
George Labahn, James H. Davenport, Josef Urban
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 Misc conf
Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES.
SAC
James H. Davenport, Benjamin Pring
2020 — ed.
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019.
CICM Workshops
Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen
2020 — ed.
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings
ICMS
Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
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 C conf
Overcoming the Challenges of Teaching Cybersecurity in UK Computer Science Degree Programmes.
FIE
Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett
2020 J jnl
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR
Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
2020 J jnl
Symbolic computation and satisfiability checking.
J. Symb. Comput.
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
2020 Misc conf
The CAD Conundrum: Lex-Least vs Order.
SYNASC
Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran
2020 J jnl
The Influence of Domain-Based Preprocessing on Subject-Specific Clustering.
CoRR
Alexandra Gkolia, Nikhil Fernandes, Nicolas Pizzo, James H. Davenport, Akshar Nair
2020 C conf
The Institute of Coding: A University-Industry Collaboration to Address the UK's Digital Skills Crisis.
EDUCON
James H. Davenport, Tom Crick, Rachid Hourizi
2020 J jnl
Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks.
CoRR
Nikhil Fernandes, Alexandra Gkolia, Nicolas Pizzo, James H. Davenport, Akshar Nair
2019 C conf
A UK Case Study on Cybersecurity Education and Accreditation.
FIE
Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett
2019 J jnl
A UK Case Study on Cybersecurity Education and Accreditation.
CoRR
Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett
2019 — conf
Cybersecurity Education and Formal Methods.
FMFun
James H. Davenport, Tom Crick
2019 J jnl
Cylindrical Algebraic Decomposition with Equational Constraints.
CoRR
Matthew England, Russell J. Bradford, James H. Davenport
2019 J jnl
Foreword.
Math. Comput. Sci.
James H. Davenport, Laura Kovács, Daniela Zaharie
2019 J jnl
Formal Methods and CyberSecurity.
CoRR
James H. Davenport
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 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019 J jnl
Lazard's CAD exploiting equality constraints.
ACM Commun. Comput. Algebra
Akshar Nair, James H. Davenport, Gregory Sankaran, Scott McCallum
2019 — conf
On Benefits of Equality Constraints in Lex-Least Invariant CAD.
SC-square@SIAM AG
Akshar Nair, James H. Davenport, Gregory Sankaran
2019 B ed.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019.
ISSAC
James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford
2019 — conf
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
FMFun
Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
2019 — conf
Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics.
CEP
Jack D. Betteridge, James H. Davenport, Melina A. Freitag, Willem Heijltjes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason
2019 A conf
The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis.
SIGCSE
James H. Davenport, Rachid Hourizi
2019 — conf
The Institute of Coding: Addressing the UK Digital Skills Crisis.
CEP
James H. Davenport, Tom Crick, Alan Hayes, Rachid Hourizi
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 A conf
Language Choice in Introductory Programming Courses at Australasian and UK Universities.
SIGCSE
Simon, Raina Mason, Tom Crick, James H. Davenport, Ellen Murphy
2018 J jnl
Machine-Assisted Proofs (ICM 2018 Panel).
CoRR
James H. Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe
2018 — ed.
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
ICMS
James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
2018 Misc conf
Methodologies of Symbolic Computation.
AISC
James H. Davenport
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
Regular cylindrical algebraic decomposition.
CoRR
James H. Davenport, Acyr F. Locatelli, Gregory K. Sankaran
2018 Misc conf
The Rôle of Benchmarking in Symbolic Computation (Position Paper).
SYNASC
James H. Davenport
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
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
An Analysis of Introductory Programming Courses at UK Universities.
Art Sci. Eng. Program.
Ellen Murphy, Tom Crick, James H. Davenport
2017 — conf
Benchmarking Solvers, SAT-style.
SC²@ISSAC
Martin Brain, James H. Davenport, Alberto Griggio
2017 Misc conf
Fast Matrix Operations in Computer Algebra.
SYNASC
Zak Tonks, Gregory Sankaran, James H. Davenport
2017 — ed.
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016.
SC²@SYNASC
Erika Ábrahám, James H. Davenport, Pascal Fontaine
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 — 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
2017 J jnl
What Does "Without Loss of Generality" Mean, and How Do We Detect It.
Math. Comput. Sci.
James H. Davenport
2016 Misc ed.
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016
SYNASC
James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2016 — ed.
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016
SCSS
James H. Davenport, Fadoua Ghourabi
2016 C conf
A Generalised Successive Resultants Algorithm.
WAIFI
James H. Davenport, Christophe Petit, Benjamin Pring
2016 J jnl
An Analysis of Introductory University Programming Courses in the UK.
CoRR
Ellen Murphy, Tom Crick, James H. Davenport
2016 — conf
Complexity of Integration, Special Values, and Recent Developments.
ICMS
James H. Davenport
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
Innovative Pedagogical Practices in the Craft of Computing.
LaTiCE
James H. Davenport, Alan Hayes, Rachid Hourizi, Tom Crick
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
2016 — conf
What Does "Without Loss of Generality" Mean (And How Do We Detect It).
SC²@SYNASC
James H. Davenport
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
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 — conf
Another Look at Formal Mathematical Properties.
CICM Workshops
James H. Davenport
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 B conf
Attribute-Based Signatures with User-Controlled Linkability.
CANS
Ali El Kaafarani, Liqun Chen, Essam Ghadafi, James H. Davenport
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 C ed.
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
CICM
Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban
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 — conf
Travelling through Facebook; Exploring affordances through the Lens of Age.
ECIS
Niki Panteli, Ben L. Marder, James H. Davenport, Fabio Nemetz
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
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries.
J. Symb. Comput.
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
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 — ed.
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK
CICM Workshops
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
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
Triangular decomposition of semi-algebraic systems.
J. Symb. Comput.
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
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 J jnl
A repository for CAD examples.
ACM Commun. Comput. Algebra
David J. Wilson, Russell J. Bradford, James H. Davenport
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
2012 J jnl
Small algorithms for small systems.
ACM Commun. Comput. Algebra
James H. Davenport
2012 — conf
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases.
AISC/MKM/Calculemus
David J. Wilson, Russell J. Bradford, James H. Davenport
2012 J jnl
Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases
CoRR
David J. Wilson, Russell J. Bradford, James H. Davenport
2011 J jnl
Computing the real solutions of polynomial systems with the RegularChains library in Maple.
ACM Commun. Comput. Algebra
Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
2011 B conf
Computing with semi-algebraic sets represented by triangular decomposition.
ISSAC
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2011 J jnl
Cryptographic Hash Functions: Recent Design Trends and Security Notions.
IACR Cryptol. ePrint Arch.
Saif Al-Kuwari, James H. Davenport, Russell J. Bradford
2011 — ed.
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Calculemus/MKM
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe
2011 J jnl
On Kahan's Rules for Determining Branch Cuts
CoRR
Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
2011 Misc conf
On Kahan's Rules for Determining Branch Cuts.
SYNASC
Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
2010 J jnl
Geometry of branch cuts.
ACM Commun. Comput. Algebra
Nalina Phisanbut, Russell J. Bradford, James H. Davenport
2010 — conf
The Challenges of Multivalued "Functions".
AISC/MKM/Calculemus
James H. Davenport
2010 J jnl
The Power of Vocabulary: The Case of Cyclotomic Polynomials
CoRR
Jacques Carette, James H. Davenport
2010 J jnl
Triangular Decomposition of Semi-algebraic Systems
CoRR
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2010 B conf
Triangular decomposition of semi-algebraic systems.
ISSAC
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2009 — conf
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.
Calculemus/MKM
Russell J. Bradford, James H. Davenport, Christopher J. Sangwin
2009 C conf
Certificate-Free Attribute Authentication.
IMACC
Dalia Khader, Liqun Chen, James H. Davenport
2009 — conf
Unifying Math Ontologies: A Tale of Two Standards.
Calculemus/MKM
James H. Davenport, Michael Kohlhase
2008 — conf
AISC Meets Natural Typography.
AISC/MKM/Calculemus
James H. Davenport
2008 — conf
Effective Set Membership in Computer Algebra and Beyond.
AISC/MKM/Calculemus
James H. Davenport
2008 J jnl
The Freedom to Extend OpenMath and its Utility.
Math. Comput. Sci.
James H. Davenport, Paul Libbrecht
2008 — conf
Unit Knowledge Management.
AISC/MKM/Calculemus
Jonathan Stratford, James H. Davenport
2007 J jnl
Testing elementary function identities using CAD.
Appl. Algebra Eng. Commun. Comput.
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
2007 B conf
The complexity of quantifier elimination and cylindrical algebraic decomposition.
ISSAC
Christopher W. Brown, James H. Davenport
2007 — conf
What Might "Understand a Function" Mean?
Calculemus/MKM
James H. Davenport
2005 B conf
Adherence is better than adjacency: computing the Riemann index using CAD.
ISSAC
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
2004 B conf
A poly-algorithmic approach to simplifying elementary functions.
ISSAC
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
2004 — conf
Copyright Issues for MKM.
MKM
Andrew A. Adams, James H. Davenport
2004 — conf
Mathematics on the (Semantic) NET.
ESWS
Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget
2003 B conf
Better simplification of elementary functions through power series.
ISSAC
James C. Beaumont, Russell J. Bradford, James H. Davenport
2003 — conf
MKM from Book to Computer: A Case Study.
MKM
James H. Davenport
2003 — ed.
Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
MKM
Andrea Asperti, Bruno Buchberger, James H. Davenport
2003 C conf
Resolving Large Prime(s) Variants for Discrete Logarithm Computation.
IMACC
Andrew J. Holt, James H. Davenport
2003 — conf
The Geometry of C
Algebra, Geometry, and Software Systems
James H. Davenport
2002 J jnl
Equality in Computer Algebra and Beyond.
J. Symb. Comput.
James H. Davenport
2002 J jnl
Reasoning about the Elementary Functions of Complex Analysis.
Ann. Math. Artif. Intell.
Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
2002 B conf
Towards better simplification of elementary functions.
ISSAC
Russell J. Bradford, James H. Davenport
2001 C conf
Lattice Attacks on RSA-Encrypted IP and TCP.
IMACC
Paul A. Crouch, James H. Davenport
2000 J jnl
"According to Abramowitz and Stegun" or arccoth needn't be uncouth.
SIGSAM Bull.
Robert M. Corless, David J. Jeffrey, Stephen M. Watt, James H. Davenport
2000 C conf
A Generic Root Operation for Exact Real Arithmetic.
CCA
Namhyun Hur, James H. Davenport
2000 J jnl
A small OpenMath type system.
SIGSAM Bull.
James H. Davenport
2000 B conf
Abstract Data Types in Computer Algebra.
MFCS
James H. Davenport
2000 B conf
An exact real algebraic arithmetic with equality determination.
ISSAC
Namhyun Hur, James H. Davenport
2000 J jnl
On writing OpenMath content dictionaries.
SIGSAM Bull.
James H. Davenport
2000 Misc conf
Reasoning about the Elementary Functions of Complex Analysis.
AISC
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
1999 B conf
An Automatic Symbolic-Numeric Taylor Series ODE Solver.
CASC
Brian J. Dupée, James H. Davenport
1996 — conf
An Intelligent Interface to Numerical Routines.
DISCO
Brian J. Dupée, James H. Davenport
1992 B conf
Primality Testing Revisited.
ISSAC
James H. Davenport
1992 J jnl
Voronoi diagrams of set-theoretic solid models.
IEEE Computer Graphics and Applications
David Lavender, Adrian Bowyer, James H. Davenport, Andrew F. Wallis, John R. Woodwark
1991 B conf
Scratchpad's View of Algebra II: A Categorical View of Factorization.
ISSAC
James H. Davenport, Patrizia M. Gianni, Barry M. Trager
1990 — conf
Current Problems in Computer Algebra Systems Design.
DISCO
James H. Davenport
1990 — conf
Scratchpad's View of Algebra I: Basic Commutative Algebra.
DISCO
James H. Davenport, Barry M. Trager
1989 — ed.
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings
EUROCAL
James H. Davenport
1988 J jnl
Computer Algebra Applied to Itself.
J. Symb. Comput.
James H. Davenport
1988 B conf
Effective Tests for Cyclotonic Polynomials.
ISSAC
Russell J. Bradford, James H. Davenport
1988 J jnl
Real Quantifier Elimination is Doubly Exponential.
J. Symb. Comput.
James H. Davenport, Joos Heintz
1988 — conf
The Use of Symbolic Computation in Geometric Modelling.
IMA Conference on the Mathematics of Surfaces
Andrew F. Wallis, Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget
1987 — conf
Applications of computer algebra in solid modelling.
EUROCAL
Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis
1987 — conf
Factorisation of Polynominals: Old Ideas and Recent Results.
Trends in Computer Algebra
John A. Abbott, Russell J. Bradford, James H. Davenport
1987 — conf
Polynomial factorization: An exploration of Lenstra's algorithm.
EUROCAL
John A. Abbott, James H. Davenport
1986 J jnl
A "Piano Movers" Problem.
SIGSAM Bull.
James H. Davenport
1986 J jnl
Elementary and Liouvillian Solutions of Linear Differential Equations.
J. Symb. Comput.
James H. Davenport, Michael F. Singer
1986 — conf
PowerMath: a system for the Macintosh.
SYMSAC
James H. Davenport, C. E. Roth
1986 — conf
The Bath algebraic number package.
SYMSAC
John A. Abbott, Russell J. Bradford, James H. Davenport
1986 J jnl
The Risch Differential Equation Problem.
SIAM J. Comput.
James H. Davenport
1985 J jnl
A remark on factorisation.
SIGSAM Bull.
John A. Abbott, Russell J. Bradford, James H. Davenport
1985 J jnl
An Application of Factoring.
J. Symb. Comput.
Don Coppersmith, James H. Davenport
1985 — conf
Elementary and Liouvillian Solutions of Linear Differential Equations.
European Conference on Computer Algebra (2)
Michael F. Singer, James H. Davenport
1985 — conf
HEUGCD: How Elementary Upperbounds Generated Cheaper Data.
European Conference on Computer Algebra (2)
James H. Davenport, Julian A. Padget
1985 J jnl
On the Parallel Risch Algorithm (II).
ACM Trans. Math. Softw.
James H. Davenport, Barry M. Trager
1985 — conf
Symbolic and Numeric Manipulation of Integrals.
Accurate Scientific Computations
James H. Davenport
1984 J jnl
Factoring Medium-Sized Integers.
Comput. J.
R. J. Macmillan, James H. Davenport
1984 J jnl
Integration in finite terms.
SIGSAM Bull.
James H. Davenport
1984 — conf
y'+ fy = g.
EUROSAM
James H. Davenport
1983 — conf
Factorization of sparse polynominals.
EUROCAL
James H. Davenport
1983 — conf
Integration - What do we want from the theory?
EUROCAL
James H. Davenport
1982 J jnl
Fast reduce: the trade-off between efficiency and generality.
SIGSAM Bull.
James H. Davenport
1982 J jnl
On the parallel Risch algorithm (III): use of tangents.
SIGSAM Bull.
James H. Davenport
1982 J jnl
P-adic reconstruction of rational numbers.
SIGSAM Bull.
Paul S. Wang, M. J. T. Guy, James H. Davenport
1982 — conf
The Parallel Risch Algorithm (I).
EUROCAM
James H. Davenport
1982 J jnl
What do we want from a high-level language?
SIGSAM Bull.
James H. Davenport
1981 — conf
Factorization over finitely generated fields.
SYMSACC
James H. Davenport, Barry M. Trager
1981 J jnl
MODLISP.
SIGSAM Bull.
James H. Davenport, Richard D. Jenks
1981 — book
On the Integration of Algebraic Functions
James H. Davenport
1980 — conf
MODLISP.
LISP Conference
James H. Davenport, Richard D. Jenks
1979 J jnl
Anatomy of an integral.
SIGSAM Bull.
James H. Davenport
1979 — conf
Integration -- the dust settles? (invited).
EUROSAM
A. C. Norman, James H. Davenport
1979 — conf
Integration of algebraic functions.
EUROSAM
James H. Davenport
1979 — conf
The computerization of algebraic geometry.
EUROSAM
James H. Davenport
1972 J jnl
The quadratic hash method when the table size is a power of 2.
Comput. J.
F. Robert A. Hopgood, James H. Davenport