Projects per year
Personal profile
Research interests
Research interests include computer algebra, especially symbolic integration and simplification, equation solving, electronic mathematical publishing and "mathematics on the (semantic) Web", robot motion planning and cryptography, especially cracking US public-key cryptosystems. He has also published in complexity theory, type theory, security and in networking. Outside interests include examining European (especially French) PhDs.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where James Davenport is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Davenport, J. (PI) & Bradford, R. (CoI)
Engineering and Physical Sciences Research Council
1/01/21 → 31/03/25
Project: Research council
-
GW4 ISAMBARD2 EPSRC Tier-2 High Performance Computing Services
Davenport, J. (PI)
Engineering and Physical Sciences Research Council
1/11/21 → 31/03/22
Project: Research council
-
NCCE - SW Partnership: National Centre for Computing Education - South West Partnership
Hayhoe, S. (PI) & Davenport, J. (CoI)
7/01/19 → 31/10/19
Project: Central government, health and local authorities
-
Newton Fund - Zero Peak Building Energy Design for India
Natarajan, S. (PI), Coley, D. (CoI), Davenport, J. (CoI), McCullen, N. (CoI) & Walker, I. (CoI)
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/22
Project: Research council
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Davenport, J. (PI)
1/07/16 → 31/08/18
Project: EU Commission
Research output
-
A Global Survey of Introductory Programming Courses
Mason, R., Simon, Becker, B. A., Crick, T. & Davenport, J. H., 20 Mar 2024, SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education. U. S. A.: Association for Computing Machinery, p. 799-805 7 p. (SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education; vol. 1).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access1 Citation (SciVal) -
A Poly-algorithmic Approach to Quantifier Elimination
Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 44-51 8 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes
Prickett, T., Crick, T., Davenport, J. H., Bowers, D. S., Hayes, A. & Irons, A., 3 Jul 2024, ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education. U. S. A.: Association for Computing Machinery, p. 346-352 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 1).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition
John, R. & Davenport, J., 17 Jul 2024, Mathematical Software – ICMS 2024 - 8th International Conference, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Cham, Switzerland: Springer, Cham, p. 176-185 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14749 LNCS).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
So the problem has poor complexity: what next?
Davenport, J. H., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 5-10 6 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Datasets
-
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), Davenport, J. (Editor) & Sankaran, G. (Editor), University of Bath, 13 Dec 2017
DOI: 10.15125/BATH-00460
Dataset
-
Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition
England, M. (Creator), Bradford, R. (Creator) & Davenport, J. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00071
Dataset
-
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), Zenodo, Mar 2017
Dataset
-
Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition
Bradford, R. (Creator), Davenport, J. (Creator), England, M. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00076
Dataset
-
Dataset for Quantifier Elimination and CAD examples in Maple
Tonks, Z. (Creator) & Davenport, J. (Supervisor), University of Bath, 1 Jul 2023
DOI: 10.15125/BATH-00746
Dataset