Postgraduate Cybersecurity Education for Non-Specialist Professionals - James H. Davenport; Tim French (IEEE Global Engineering Education Conference, EDUCON 2025, London, United Kingdom, April 22-25, 2025, 2025)

Towards a Framework for Mapping Authentic Assessment to Competency in University Computing Education in the Uk - Tom Prickett; Ian McChesney; Emma Norling; Alan Hayes; Alexandros Chrysikos; Steve Riddle; James H. Davenport; Alastair Irons; Tom Crick (IEEE Global Engineering Education Conference, EDUCON 2025, London, United Kingdom, April 22-25, 2025, 2025)

Levelwise construction of a single cylindrical algebraic cell - Jasper Nalbach; Erika Ábrahám; Philippe Specht; Christopher W. Brown; James H. Davenport; Matthew England (J. Symb. Comput., 2024)

Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition - Rohit John; James H. Davenport (Mathematical Software - ICMS 2024 - 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings, 2024)

Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes - Tom Prickett; Tom Crick; James H. Davenport; David S. Bowers; Alan Hayes; Alastair Irons (Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2024, Milan, Italy, July 8-10, 2024, 2024)

A Global Survey of Introductory Programming Courses - Raina Mason; Simon; Brett A. Becker; Tom Crick; James H. Davenport (Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024, 2024)

On Projective Delineability - Lucas Michel; Jasper Nalbach; Pierre Mathonet; Naïm Zénaïdi; Christopher W. Brown; Erika Ábrahám; James H. Davenport; Matthew England (26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024, 2024)

First Steps Towards Computational Polynomials in Lean - James H. Davenport (26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024, 2024)

Towards Verified Polynomial Factorisation - James H. Davenport (26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024, 2024)

First steps towards Computational Polynomials in Lean - James Harold Davenport (CoRR, 2024)

Towards Verified Polynomial Factorisation - James H. Davenport (CoRR, 2024)

On Projective Delineability - Lucas Michel; Jasper Nalbach; Pierre Mathonet; Naïm Zénaïdi; Christopher W. Brown; Erika Ábrahám; James H. Davenport; Matthew England (CoRR, 2024)

Lazard-style CAD and Equational Constraints - James Harold Davenport; Akshar Sajive Nair; Gregory Kumar Sankaran; Ali Kemal Uncu (Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, 2023)

Proving an Execution of an Algorithm Correct? - James Harold Davenport (Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings, 2023)

So the problem has poor complexity: what next? - James H. Davenport (25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023, 2023)

A Poly-algorithmic Approach to Quantifier Elimination - James H. Davenport; Zak P. Tonks; Ali Kemal Uncu (25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023, 2023)

Teaching Programming Competencies: A Role for Craft Computing? - Tom Crick; James H. Davenport; Alan Hayes; Tom Prickett (Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, Swansea, Wales, UK, September 7-8, 2023, 2023)

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 - Jasmin Blanchette; James H. Davenport; Peter Koepke; Michael Kohlhase; Andrea Kohlhase; Adam Naumowicz; Dennis Müller; Yasmine Sharoda; Claudio Sacerdoti Coen (CEUR-WS.org, 2023)

SMT-Solving Induction Proofs of Inequalities Benchmarking Repository (Version 1) - Ali Kemal Uncu; James H. Davenport; Matthew England (Zenodo, 2023)
Accessed on YYYY-MM-DD.

Lazard-style CAD and Equational Constraints - James H. Davenport; Akshar S. Nair; Gregory K. Sankaran; Ali Kemal Uncu (CoRR, 2023)

A Poly-algorithmic Approach to Quantifier Elimination - James H. Davenport; Zak P. Tonks; Ali Kemal Uncu (CoRR, 2023)

A Practical Overview of Quantum Computing: Is Exascale Possible? - James H. Davenport; Jessica R. Jones; Matthew Thomason (CoRR, 2023)

Iterated Resultants in CAD - James H. Davenport; Matthew England (CoRR, 2023)

SMT-Solving Induction Proofs of Inequalities - Ali Kemal Uncu; James H. Davenport; Matthew England (CoRR, 2023)

Iterated Resultants and Rational Functions in Real Quantifier Elimination - James H. Davenport; Matthew England; Scott McCallum; Ali Kemal Uncu (CoRR, 2023)

Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK - Tom Crick; James H. Davenport; Paul Hanna; Alan Hayes; Alastair Irons; Keith Miller; Tom Prickett; Rupert Ward; Becky Allen; Bhagyashree Patil; Simon Payne (CEP 2022: Computing Education Practice 2022, Durham, United Kingdom, 6 January 2022, 2022)

A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics - Tom Crick; James H. Davenport; Alan Hayes; Alastair Irons; Tom Prickett; Simon Payne (ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 2, 2022)

SMT-Solving Induction Proofs of Inequalities - Ali Kemal Uncu; James H. Davenport; Matthew England (Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022, 2022)

Artificial Conflict Sampling for Real Satisfiability Problems - James H. Davenport; Ali Kemal Uncu (24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, 2022)

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 - Curtis Bright; James H. Davenport (CEUR-WS.org, 2022)

Levelwise construction of a single cylindrical algebraic cell - Jasper Nalbach; Erika Ábrahám; Philippe Specht; Christopher W. Brown; James H. Davenport; Matthew England (CoRR, 2022)

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) - Erika Ábrahám; James H. Davenport; Matthew England; Alberto Griggio (Dagstuhl Reports, 2022)

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition - Russell J. Bradford; James H. Davenport; Matthew England; AmirHosein Sadeghimanesh; Ali Kemal Uncu (ACM Commun. Comput. Algebra, 2021)

Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings - Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer (J. Log. Algebraic Methods Program., 2021)

Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic - Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer (Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021, 2021)

Supporting Early-Career Academics in the UK Computer Science Community - Tom Crick; James H. Davenport; Alan Hayes; Alastair Irons; Tom Prickett (CEP '21: Computing Education Practice 2021, Durham, United Kingdom, January, 2021, 2021)

Towards a 21st Century Personalised Learning Skills Taxonomy - Rupert Ward; Oliver Phillips; David Bowers; Tom Crick; James H. Davenport; Paul Hanna; Alan Hayes; Alastair Irons; Tom Prickett (IEEE Global Engineering Education Conference, EDUCON 2021, Vienna, Austria, April 21-23, 2021, 2021)

Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK - Tom Crick; James H. Davenport; Alan Hayes; Alastair Irons; Tom Prickett (ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26 - July 1, 2021, 2021)

OpenMath Preface - James H. Davenport; Michael Kohlhase (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, 2021)

Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition - James H. Davenport (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, 2021)

Practical Evaluation of Quantifier Elimination Methods (short paper) - James H. Davenport; Zak Tonks; Ali Kemal Uncu (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, 2021)

Equational Constraints, the Lazard Projection and the Curtain Problem (short paper) - Akshar S. Nair; James H. Davenport; Gregory Sankaran (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, 2021)

Increasing the Value of Professional Body Computer Science Degree Accreditation - Alastair Irons; Tom Crick; James H. Davenport; Tom Prickett (SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, Virtual Event, USA, March 13-20, 2021, 2021)

On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving - Gereon Kremer; Erika Ábrahám; Matthew England; James H. Davenport (23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, 2021)

The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition - Russell J. Bradford; James H. Davenport; Matthew England; AmirHosein Sadeghimanesh; Ali Kemal Uncu (CoRR, 2021)

Digital Collections of Examples in Mathematical Sciences - James Harold Davenport (CoRR, 2021)

ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods - Akhilesh Pai; James Harold Davenport (CoRR, 2021)

Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic - Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer (CoRR, 2021)

Data Without Software Are Just Numbers - James Harold Davenport; James Grant; Catherine Mary Jones (Data Sci. J., 2020)

Identifying the parametric occurrence of multiple steady states for some biological networks - 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 (J. Symb. Comput., 2020)

Symbolic computation and satisfiability checking - James H. Davenport; Matthew England; Alberto Griggio; Thomas Sturm; Cesare Tinelli (J. Symb. Comput., 2020)

Cylindrical algebraic decomposition with equational constraints - Matthew England; Russell J. Bradford; James H. Davenport (J. Symb. Comput., 2020)

Foreword - George Labahn; James H. Davenport; Josef Urban (Math. Comput. Sci., 2020)

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract) - Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer; Zak Tonks (Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual), 2020)

Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update - Tom Crick; James H. Davenport; Paul Hanna; Alastair Irons; Tom Prickett (CEP 2020: Computing Education Practice 2020, Durham, UK, January 9, 2020, 2020)

The Institute of Coding: A University-Industry Collaboration to Address the UK's Digital Skills Crisis - James H. Davenport; Tom Crick; Rachid Hourizi (2020 IEEE Global Engineering Education Conference, EDUCON 2020, Porto, Portugal, April 27-30, 2020, 2020)

Overcoming the Challenges of Teaching Cybersecurity in UK Computer Science Degree Programmes - Tom Crick; James H. Davenport; Paul Hanna; Alastair Irons; Tom Prickett (IEEE Frontiers in Education Conference, FIE 2020, Uppsala, Sweden, October 21-24, 2020, 2020)

Curtains in CAD: Why Are They a Problem and How Do We Fix Them? - Akshar Nair; James H. Davenport; Gregory Sankaran (Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, 2020)

Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study - Tom Crick; Tom Prickett; James H. Davenport; Alastair Irons (Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020, 2020)

Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES - James H. Davenport; Benjamin Pring (Selected Areas in Cryptography - SAC 2020 - 27th International Conference, Halifax, NS, Canada (Virtual Event), October 21-23, 2020, Revised Selected Papers, 2020)

The CAD Conundrum: Lex-Least vs Order - Scott McCallum; Akshar Nair; James H. Davenport; Gregory Sankaran (22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, 2020)

Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings - Anna Maria Bigatti; Jacques Carette; James H. Davenport; Michael Joswig; Timo de Wolff (Springer, 2020)

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 - Edwin C. Brady; James H. Davenport; William M. Farmer; Cezary Kaliszyk; Andrea Kohlhase; Michael Kohlhase; Dennis Müller; Karol Pak; Claudio Sacerdoti Coen (CEUR-WS.org, 2020)

Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings - Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer (CoRR, 2020)

New Opportunities for the Formal Proof of Computational Real Geometry? - Erika Ábrahám; James H. Davenport; Matthew England; Gereon Kremer; Zak Tonks (CoRR, 2020)

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper - 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; et al. (CoRR, 2020)

Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks - Nikhil Fernandes; Alexandra Gkolia; Nicolas Pizzo; James H. Davenport; Akshar Nair (CoRR, 2020)

The Influence of Domain-Based Preprocessing on Subject-Specific Clustering - Alexandra Gkolia; Nikhil Fernandes; Nicolas Pizzo; James H. Davenport; Akshar Nair (CoRR, 2020)

Lazard's CAD exploiting equality constraints - Akshar Nair; James H. Davenport; Gregory Sankaran; Scott McCallum (ACM Commun. Comput. Algebra, 2019)

Symbolic computation in software science - James Harold Davenport; Temur Kutsia (J. Symb. Comput., 2019)

Foreword - James H. Davenport; Laura Kovács; Daniela Zaharie (Math. Comput. Sci., 2019)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition - Zongyan Huang; Matthew England; David J. Wilson; James P. Bridge; James H. Davenport; Lawrence C. Paulson (Math. Comput. Sci., 2019)

The Institute of Coding: Addressing the UK Digital Skills Crisis - James H. Davenport; Tom Crick; Alan Hayes; Rachid Hourizi (Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019, Durham, United Kingdom, January 09-09, 2019, 2019)

Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics - Jack D. Betteridge; James H. Davenport; Melina A. Freitag; Willem Heijltjes; Stef Kynaston; Gregory Sankaran; Gunnar Traustason (Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019, Durham, United Kingdom, January 09-09, 2019, 2019)

A UK Case Study on Cybersecurity Education and Accreditation - Tom Crick; James H. Davenport; Alastair Irons; Tom Prickett (IEEE Frontiers in Education Conference, FIE 2019, Cincinnati, OH, USA, October 16-19, 2019, 2019)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper - - 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; et al. (Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers, 2019)

Cybersecurity Education and Formal Methods - James H. Davenport; Tom Crick (Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers, 2019)

On Benefits of Equality Constraints in Lex-Least Invariant CAD - Akshar Nair; James H. Davenport; Gregory Sankaran (Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019, 2019)

The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis - James H. Davenport; Rachid Hourizi (Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019, Minneapolis, MN, USA, February 27 - March 02, 2019, 2019)

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019 - James H. Davenport; Dongming Wang; Manuel Kauers; Russell J. Bradford (ACM, 2019)

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 - 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; et al. (CEUR-WS.org, 2019)

Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks - 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 (CoRR, 2019)

Cylindrical Algebraic Decomposition with Equational Constraints - Matthew England; Russell J. Bradford; James H. Davenport (CoRR, 2019)

A UK Case Study on Cybersecurity Education and Accreditation - Tom Crick; James H. Davenport; Alastair Irons; Tom Prickett (CoRR, 2019)

Formal Methods and CyberSecurity - James H. Davenport (CoRR, 2019)

Methodologies of Symbolic Computation - James H. Davenport (Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings, 2018)

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics - Casey B. Mulligan; James H. Davenport; Matthew England (Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, 2018)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England; Zak Tonks (Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018, 2018)

Language Choice in Introductory Programming Courses at Australasian and UK Universities - Simon; Raina Mason; Tom Crick; James H. Davenport; Ellen Murphy (Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018, Baltimore, MD, USA, February 21-24, 2018, 2018)

The Rôle of Benchmarking in Symbolic Computation (Position Paper) - James H. Davenport (20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, 2018)

Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings - James H. Davenport; Manuel Kauers; George Labahn; Josef Urban (Springer, 2018)

Datset of automated economic reasoning problems for QE / SMT (Version 1) - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England; Zak Tonks (Zenodo, 2018)
Accessed on YYYY-MM-DD.

Datset of automated economic reasoning problems for QE / SMT (Version 2) - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England; Zak Tonks (Zenodo, 2018)
Accessed on YYYY-MM-DD.

OpenMath and SMT-LIB - James H. Davenport; Matthew England; Roberto Sebastiani; Patrick Trentin (CoRR, 2018)

Regular cylindrical algebraic decomposition - James H. Davenport; Acyr F. Locatelli; Gregory K. Sankaran (CoRR, 2018)

Quantifier Elimination for Reasoning in Economics - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England; Zak Tonks (CoRR, 2018)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition - Zongyan Huang; Matthew England; David J. Wilson; James H. Davenport; Lawrence C. Paulson (CoRR, 2018)

TheoryGuru: A Mathematica Package to apply Quantifier Elimination - Casey B. Mulligan; James Harold Davenport; Matthew England (CoRR, 2018)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England; Zak Tonks (CoRR, 2018)

Machine-Assisted Proofs (ICM 2018 Panel) - James H. Davenport; Bjorn Poonen; James Maynard; Harald Helfgott; Pham Huu Tiep; Luís Cruz-Filipe (CoRR, 2018)

What Does "Without Loss of Generality" Mean, and How Do We Detect It - James H. Davenport (Math. Comput. Sci., 2017)

An Analysis of Introductory Programming Courses at UK Universities - Ellen Murphy; Tom Crick; James H. Davenport (Art Sci. Eng. Program., 2017)

SC-square: when Satisfiability Checking and Symbolic Computation join forces - 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; et al. (ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, 2017)

A Case Study on the Parametric Occurrence of Multiple Steady States - 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 (Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017, 2017)

Benchmarking Solvers, SAT-style - Martin Brain; James H. Davenport; Alberto Griggio (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, 2017)

The Potential and Challenges of CAD with Equational Constraints for SC-Square - James H. Davenport; Matthew England (Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings, 2017)

Fast Matrix Operations in Computer Algebra - Zak Tonks; Gregory Sankaran; James H. Davenport (19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, 2017)

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 - Erika Ábrahám; James H. Davenport; Pascal Fontaine (CEUR-WS.org, 2017)

A Case Study on the Parametric Occurrence of Multiple Steady States - 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 (CoRR, 2017)

The Potential and Challenges of CAD with Equational Constraints for SC-Square - James H. Davenport; Matthew England (CoRR, 2017)

Satisfiability checking and symbolic computation - 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; et al. (ACM Commun. Comput. Algebra, 2016)

Truth table invariant cylindrical algebraic decomposition - Russell J. Bradford; James H. Davenport; Matthew England; Scott McCallum; David J. Wilson (J. Symb. Comput., 2016)

The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree - Matthew England; James H. Davenport (Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, 2016)

Need Polynomial Systems Be Doubly-Exponential? - James H. Davenport; Matthew England (Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, 2016)

Complexity of Integration, Special Values, and Recent Developments - James H. Davenport (Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, 2016)

Innovative Pedagogical Practices in the Craft of Computing - James H. Davenport; Alan Hayes; Rachid Hourizi; Tom Crick (International Conference on Learning and Teaching in Computing and Engineering, LaTICE 2016, Mumbai, India, March 31 - April 3, 2016, 2016)

SC\(^2\): Satisfiability Checking Meets Symbolic Computation - (Project Paper) - 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; et al. (Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings, 2016)

What Does "Without Loss of Generality" Mean (And How Do We Detect It) - James H. Davenport (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, 2016)

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition - Matthew England; James H. Davenport (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, 2016)

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases - Zongyan Huang; Matthew England; James H. Davenport; Lawrence C. Paulson (18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, 2016)

A Generalised Successive Resultants Algorithm - James H. Davenport; Christophe Petit; Benjamin Pring (Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers, 2016)

7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 - James H. Davenport; Fadoua Ghourabi (EasyChair, 2016)

18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 - James H. Davenport; Viorel Negru; Tetsuo Ida; Tudor Jebelean; Dana Petcu; Stephen M. Watt; Daniela Zaharie (IEEE, 2016)

The complexity of cylindrical algebraic decomposition with respect to polynomial degree - Matthew England; James H. Davenport (CoRR, 2016)

Need Polynomial Systems be Doubly-exponential? - James H. Davenport; Matthew England (CoRR, 2016)

Satisfiability Checking and Symbolic Computation - 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; et al. (CoRR, 2016)

Satisfiability Checking meets Symbolic Computation (Project Paper) - 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; et al. (CoRR, 2016)

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases - Zongyan Huang; Matthew England; James H. Davenport; Lawrence C. Paulson (CoRR, 2016)

An Analysis of Introductory University Programming Courses in the UK - Ellen Murphy; Tom Crick; James H. Davenport (CoRR, 2016)

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition - Matthew England; James H. Davenport (CoRR, 2016)

Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition - Matthew England; Russell J. Bradford; James H. Davenport (Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, 2015)

Improving the use of equational constraints in cylindrical algebraic decomposition - Matthew England; Russell J. Bradford; James H. Davenport (CoRR, 2015)

Recent Advances in Real Geometric Reasoning - James H. Davenport; Matthew England (CoRR, 2015)

Branch cuts in maple 17 - Matthew England; Edgardo S. Cheb-Terrab; Russell J. Bradford; James H. Davenport; David J. Wilson (ACM Commun. Comput. Algebra, 2014)

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition - Zongyan Huang; Matthew England; David J. Wilson; James H. Davenport; Lawrence C. Paulson (ACM Commun. Comput. Algebra, 2014)

Cylindrical Algebraic Sub-Decompositions - David J. Wilson; Russell J. Bradford; James H. Davenport; Matthew England (Math. Comput. Sci., 2014)

Recent Advances in Real Geometric Reasoning - James H. Davenport; Matthew England (Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, 2014)

Attribute-Based Signatures with User-Controlled Linkability - Ali El Kaafarani; Liqun Chen; Essam Ghadafi; James H. Davenport (Cryptology and Network Security - 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings, 2014)

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains - Russell J. Bradford; Changbo Chen; James H. Davenport; Matthew England; Marc Moreno Maza; David J. Wilson (Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings, 2014)

Travelling through Facebook; Exploring affordances through the Lens of Age - Niki Panteli; Ben L. Marder; James H. Davenport; Fabio Nemetz (22st European Conference on Information Systems, ECIS 2014, Tel Aviv, Israel, June 9-11, 2014, 2014)

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition - Matthew England; Russell J. Bradford; James H. Davenport; David J. Wilson (Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, 2014)

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting - Matthew England; David J. Wilson; Russell J. Bradford; James H. Davenport (Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, 2014)

Another Look at Formal Mathematical Properties - James H. Davenport (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, 2014)

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition - Matthew England; Russell J. Bradford; Changbo Chen; James H. Davenport; Marc Moreno Maza; David J. Wilson (Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, 2014)

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition - Zongyan Huang; Matthew England; David J. Wilson; James H. Davenport; Lawrence C. Paulson; James P. Bridge (Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, 2014)

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition - David J. Wilson; Matthew England; Russell J. Bradford; James H. Davenport (16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, 2014)

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 - 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 (CEUR-WS.org, 2014)

Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings - Stephen M. Watt; James H. Davenport; Alan P. Sexton; Petr Sojka; Josef Urban (Springer, 2014)

Truth Table Invariant Cylindrical Algebraic Decomposition - Russell J. Bradford; James H. Davenport; Matthew England; Scott McCallum; David J. Wilson (CoRR, 2014)

Cylindrical Algebraic Sub-Decompositions - David J. Wilson; Russell J. Bradford; James H. Davenport; Matthew England (CoRR, 2014)

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains - Russell J. Bradford; Changbo Chen; James H. Davenport; Matthew England; Marc Moreno Maza; David J. Wilson (CoRR, 2014)

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition - Zongyan Huang; Matthew England; David J. Wilson; James H. Davenport; Lawrence C. Paulson; James P. Bridge (CoRR, 2014)

Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition - Matthew England; Russell J. Bradford; Changbo Chen; James H. Davenport; Marc Moreno Maza; David J. Wilson (CoRR, 2014)

A comparison of three heuristics to choose the variable ordering for CAD - Zongyan Huang; Matthew England; David J. Wilson; James H. Davenport; Lawrence C. Paulson (CoRR, 2014)

Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting - Matthew England; David J. Wilson; Russell J. Bradford; James H. Davenport (CoRR, 2014)

Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition - Matthew England; Russell J. Bradford; James H. Davenport; David J. Wilson (CoRR, 2014)

Using the distribution of cells by dimension in a cylindrical algebraic decomposition - David J. Wilson; Matthew England; Russell J. Bradford; James H. Davenport (CoRR, 2014)

Triangular decomposition of semi-algebraic systems - Changbo Chen; James H. Davenport; John P. May; Marc Moreno Maza; Bican Xia; Rong Xiao (J. Symb. Comput., 2013)

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries - Changbo Chen; James H. Davenport; Marc Moreno Maza; Bican Xia; Rong Xiao (J. Symb. Comput., 2013)

Cylindrical algebraic decompositions for boolean combinations - Russell J. Bradford; James H. Davenport; Matthew England; Scott McCallum; David J. Wilson (International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, 2013)

Optimising Problem Formulation for Cylindrical Algebraic Decomposition - Russell J. Bradford; James H. Davenport; Matthew England; David J. Wilson (Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, 2013)

Understanding Branch Cuts of Expressions - Matthew England; Russell J. Bradford; James H. Davenport; David J. Wilson (Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, 2013)

A "Piano Movers" Problem Reformulated - David J. Wilson; James H. Davenport; Matthew England; Russell J. Bradford (15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, 2013)

Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK - 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 (CEUR-WS.org, 2013)

Optimising Problem Formulation for Cylindrical Algebraic Decomposition - Russell J. Bradford; James H. Davenport; Matthew England; David J. Wilson (CoRR, 2013)

Understanding Branch Cuts of Expressions - Matthew England; Russell J. Bradford; James H. Davenport; David J. Wilson (CoRR, 2013)

Cylindrical Algebraic Decompositions for Boolean Combinations - Russell J. Bradford; James H. Davenport; Matthew England; Scott McCallum; David J. Wilson (CoRR, 2013)

Branch Cuts in Maple 17 - Matthew England; Edgardo S. Cheb-Terrab; Russell J. Bradford; James Harold Davenport; David J. Wilson (CoRR, 2013)

A "Piano Movers" Problem Reformulated - David J. Wilson; James H. Davenport; Matthew England; Russell J. Bradford (CoRR, 2013)

Small algorithms for small systems - James H. Davenport (ACM Commun. Comput. Algebra, 2012)

A repository for CAD examples - David J. Wilson; Russell J. Bradford; James H. Davenport (ACM Commun. Comput. Algebra, 2012)

Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases - David J. Wilson; Russell J. Bradford; James H. Davenport (Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, 2012)

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc - James H. Davenport; Russell J. Bradford; Matthew England; David J. Wilson (14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, 2012)

Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases - David J. Wilson; Russell J. Bradford; James H. Davenport (CoRR, 2012)

Program Verification in the presence of complex numbers, functions with branch cuts etc - James H. Davenport; Russell J. Bradford; Matthew England; David J. Wilson (CoRR, 2012)

Computing the real solutions of polynomial systems with the RegularChains library in Maple - Changbo Chen; James H. Davenport; François Lemaire; Marc Moreno Maza; Bican Xia; Rong Xiao; Yuzhen Xie (ACM Commun. Comput. Algebra, 2011)

Computing with semi-algebraic sets represented by triangular decomposition - Changbo Chen; James H. Davenport; Marc Moreno Maza; Bican Xia; Rong Xiao (Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings, 2011)

On Kahan's Rules for Determining Branch Cuts - Frédéric Chyzak; James H. Davenport; Christoph Koutschan; Bruno Salvy (13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, 2011)

Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings - James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Springer, 2011)

On Kahan's Rules for Determining Branch Cuts - Frédéric Chyzak; James H. Davenport; Christoph Koutschan; Bruno Salvy (CoRR, 2011)

Cryptographic Hash Functions: Recent Design Trends and Security Notions - Saif Al-Kuwari; James H. Davenport; Russell J. Bradford (IACR Cryptol. ePrint Arch., 2011)

Geometry of branch cuts - Nalina Phisanbut; Russell J. Bradford; James H. Davenport (ACM Commun. Comput. Algebra, 2010)

The Challenges of Multivalued "Functions" - James H. Davenport (Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, 2010)

Triangular decomposition of semi-algebraic systems - Changbo Chen; James H. Davenport; John P. May; Marc Moreno Maza; Bican Xia; Rong Xiao (Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings, 2010)

The Power of Vocabulary: The Case of Cyclotomic Polynomials - Jacques Carette; James H. Davenport (CoRR, 2010)

Triangular Decomposition of Semi-algebraic Systems - Changbo Chen; James H. Davenport; John P. May; Marc Moreno Maza; Bican Xia; Rong Xiao (CoRR, 2010)

Certificate-Free Attribute Authentication - Dalia Khader; Liqun Chen; James H. Davenport (Cryptography and Coding, 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings, 2009)

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy - Russell J. Bradford; James H. Davenport; Christopher J. Sangwin (Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, 2009)

Unifying Math Ontologies: A Tale of Two Standards - James H. Davenport; Michael Kohlhase (Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, 2009)

The Sparsity Challenges - James Harold Davenport; Jacques Carette (11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, 2009)

The Freedom to Extend OpenMath and its Utility - James H. Davenport; Paul Libbrecht (Math. Comput. Sci., 2008)

AISC Meets Natural Typography - James H. Davenport (Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, 2008)

Effective Set Membership in Computer Algebra and Beyond - James H. Davenport (Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, 2008)

Unit Knowledge Management - Jonathan Stratford; James H. Davenport (Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, 2008)

Testing elementary function identities using CAD - James C. Beaumont; Russell J. Bradford; James H. Davenport; Nalina Phisanbut (Appl. Algebra Eng. Commun. Comput., 2007)

The complexity of quantifier elimination and cylindrical algebraic decomposition - Christopher W. Brown; James H. Davenport (Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, 2007)

What Might "Understand a Function" Mean? - James H. Davenport (Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, 2007)

Adherence is better than adjacency: computing the Riemann index using CAD - James C. Beaumont; Russell J. Bradford; James H. Davenport; Nalina Phisanbut (Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, 2005)

Mathematics on the (Semantic) NET - Olga Caprotti; James H. Davenport; Mike Dewar; Julian A. Padget (The Semantic Web: Research and Applications, First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings, 2004)

A poly-algorithmic approach to simplifying elementary functions - James C. Beaumont; Russell J. Bradford; James H. Davenport; Nalina Phisanbut (Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, 2004)

Copyright Issues for MKM - Andrew A. Adams; James H. Davenport (Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, 2004)

The Geometry of C\(^n\) is Important for the Algebra of Elementary Functions - James H. Davenport (Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], 2003)

Resolving Large Prime(s) Variants for Discrete Logarithm Computation - Andrew J. Holt; James H. Davenport (Cryptography and Coding, 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings, 2003)

Better simplification of elementary functions through power series - James C. Beaumont; Russell J. Bradford; James H. Davenport (Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, 2003)

MKM from Book to Computer: A Case Study - James H. Davenport (Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, 2003)

Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings - Andrea Asperti; Bruno Buchberger; James H. Davenport (Springer, 2003)

Reasoning about the Elementary Functions of Complex Analysis - Russell J. Bradford; Robert M. Corless; James H. Davenport; David J. Jeffrey; Stephen M. Watt (Ann. Math. Artif. Intell., 2002)

Equality in Computer Algebra and Beyond - James H. Davenport (J. Symb. Comput., 2002)

Towards better simplification of elementary functions - Russell J. Bradford; James H. Davenport (Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, 2002)

Lattice Attacks on RSA-Encrypted IP and TCP - Paul A. Crouch; James H. Davenport (Cryptography and Coding, 8th IMA International Conference, Cirencester, UK, December 17-19, 2001, Proceedings, 2001)

On writing OpenMath content dictionaries - James H. Davenport (SIGSAM Bull., 2000)

A small OpenMath type system - James H. Davenport (SIGSAM Bull., 2000)

"According to Abramowitz and Stegun" or arccoth needn't be uncouth - Robert M. Corless; David J. Jeffrey; Stephen M. Watt; James H. Davenport (SIGSAM Bull., 2000)

Reasoning about the Elementary Functions of Complex Analysis - Robert M. Corless; James H. Davenport; David J. Jeffrey; Gurjeet Litt; Stephen M. Watt (Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, 2000)

A Generic Root Operation for Exact Real Arithmetic - Namhyun Hur; James H. Davenport (Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, 2000)

An exact real algebraic arithmetic with equality determination - Namhyun Hur; James H. Davenport (Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000, 2000)

Abstract Data Types in Computer Algebra - James H. Davenport (Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings, 2000)

An Automatic Symbolic-Numeric Taylor Series ODE Solver - Brian J. Dupée; James H. Davenport (Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, CASC 1999, Munich, Germany, May 31 - June 4, 1999, 1999)

An Intelligent Interface to Numerical Routines - Brian J. Dupée; James H. Davenport (Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, 1996)

Computer algebra - systems and algorithms for algebraic computation (2. ed.) - James Harold Davenport; Yvon Siret; Evelyne Tournier (Academic Press, 1993)

Voronoi diagrams of set-theoretic solid models - David Lavender; Adrian Bowyer; James H. Davenport; Andrew F. Wallis; John R. Woodwark (IEEE Computer Graphics and Applications, 1992)

Primality Testing Revisited - James H. Davenport (Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992, 1992)

Scratchpad's View of Algebra II: A Categorical View of Factorization - James H. Davenport; Patrizia M. Gianni; Barry M. Trager (Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991, 1991)

Current Problems in Computer Algebra Systems Design - James H. Davenport (Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, 1990)

Scratchpad's View of Algebra I: Basic Commutative Algebra - James H. Davenport; Barry M. Trager (Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, 1990)

EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings - James H. Davenport (Springer, 1989)

Real Quantifier Elimination is Doubly Exponential - James H. Davenport; Joos Heintz (J. Symb. Comput., 1988)

Computer Algebra Applied to Itself - James H. Davenport (J. Symb. Comput., 1988)

The Use of Symbolic Computation in Geometric Modelling - Andrew F. Wallis; Adrian Bowyer; James H. Davenport; Philip S. Milne; Julian A. Padget (Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces, Keble College, Oxford, UK, September 19-21, 1988, 1988)

Effective Tests for Cyclotonic Polynomials - Russell J. Bradford; James H. Davenport (Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings, 1988)

Applications of computer algebra in solid modelling - Adrian Bowyer; James H. Davenport; Philip S. Milne; Julian A. Padget; Andrew F. Wallis (EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings, 1987)

Polynomial factorization: An exploration of Lenstra's algorithm - John A. Abbott; James H. Davenport (EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings, 1987)

Factorisation of Polynominals: Old Ideas and Recent Results - John A. Abbott; Russell J. Bradford; James H. Davenport (Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings, 1987)

A "Piano Movers" Problem - James H. Davenport (SIGSAM Bull., 1986)

Elementary and Liouvillian Solutions of Linear Differential Equations - James H. Davenport; Michael F. Singer (J. Symb. Comput., 1986)

The Risch Differential Equation Problem - James H. Davenport (SIAM J. Comput., 1986)

PowerMath: a system for the Macintosh - James H. Davenport; C. E. Roth (Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, 1986)

The Bath algebraic number package - John A. Abbott; Russell J. Bradford; James H. Davenport (Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, 1986)

A remark on factorisation - John A. Abbott; Russell J. Bradford; James H. Davenport (SIGSAM Bull., 1985)

An Application of Factoring - Don Coppersmith; James H. Davenport (J. Symb. Comput., 1985)

On the Parallel Risch Algorithm (II) - James H. Davenport; Barry M. Trager (ACM Trans. Math. Softw., 1985)

Symbolic and Numeric Manipulation of Integrals - James H. Davenport (Accurate Scientific Computations, Symposium, Bad Neuenahr, FRG, March 12-14, 1985, Proceedings, 1985)

HEUGCD: How Elementary Upperbounds Generated Cheaper Data - James H. Davenport; Julian A. Padget (EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, 1985)

Elementary and Liouvillian Solutions of Linear Differential Equations - Michael F. Singer; James H. Davenport (EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, 1985)

Integration in finite terms - James H. Davenport (SIGSAM Bull., 1984)

Factoring Medium-Sized Integers - R. J. Macmillan; James H. Davenport (Comput. J., 1984)

y'+ fy = g - James H. Davenport (EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, 1984)

Integration - What do we want from the theory? - James H. Davenport (Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings, 1983)

Factorization of sparse polynominals - James H. Davenport (Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings, 1983)

Fast reduce: the trade-off between efficiency and generality - James H. Davenport (SIGSAM Bull., 1982)

P-adic reconstruction of rational numbers - Paul S. Wang; M. J. T. Guy; James H. Davenport (SIGSAM Bull., 1982)

On the parallel Risch algorithm (III): use of tangents - James H. Davenport (SIGSAM Bull., 1982)

What do we want from a high-level language? - James H. Davenport (SIGSAM Bull., 1982)

The Parallel Risch Algorithm (I) - James H. Davenport (Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, 1982)

On the Integration of Algebraic Functions - James H. Davenport (Springer, 1981)

MODLISP - James H. Davenport; Richard D. Jenks (SIGSAM Bull., 1981)

Factorization over finitely generated fields - James H. Davenport; Barry M. Trager (Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981, 1981)

MODLISP - James H. Davenport; Richard D. Jenks (Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980, 1980)

Anatomy of an integral - James H. Davenport (SIGSAM Bull., 1979)

The computerization of algebraic geometry - James H. Davenport (Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, 1979)

Integration – the dust settles? (invited) - A. C. Norman; James H. Davenport (Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, 1979)

Integration of algebraic functions - James H. Davenport (Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, 1979)

The quadratic hash method when the table size is a power of 2 - F. Robert A. Hopgood; James H. Davenport (Comput. J., 1972)