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.
Fingerprint
- 1 Similar Profiles
Network
Projects
-
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Engineering and Physical Sciences Research Council
1/01/21 → 31/03/25
Project: Research council
-
Newton Fund - Zero Peak Building Energy Design for India
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/21
Project: Research council
-
NCCE - SW Partnership: National Centre for Computing Education - South West Partnership
7/01/19 → 31/10/19
Project: Central government, health and local authorities
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
1/07/16 → 31/08/18
Project: EU Commission
-
GW4 Coding
Davenport, J., Calway, A., Burnap, P., Everson, R. & Murphy, E.
2/02/16 → 30/06/16
Project: Research-related funding
Research Output
-
Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study
Crick, T., Prickett, T., Davenport, J. H. & Irons, A., 30 Jun 2020, ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 565-565 1 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Computer science degree accreditation in the UK: A post-shadbolt review update
Crick, T., Davenport, J. H., Hanna, P., Irons, A. & Prickett, T., 9 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. U. S. A.: Association for Computing Machinery, p. 1-4 6. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Citations (Scopus) -
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
Nair, A., Davenport, J. & Sankaran, G., 8 Jul 2020, Mathematical Software – ICMS 2020 - 7th International Conference, Proceedings. Bigatti, A. M., Carette, J., Davenport, J. H., Joswig, M. & de Wolff, T. (eds.). Singapore: Springer, Singapore, p. 17-26 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12097 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Cylindrical algebraic decomposition with equational constraints
England, M., Bradford, R. & Davenport, J. H., 30 Sep 2020, In: Journal of Symbolic Computation. 100, p. 38-71 34 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Citations (Scopus) -
Data Without Software Are Just Numbers
Davenport, J. H., Grant, J. & Jones, C. M., 22 Jan 2020, In: Data Science Journal. 19, 1, p. 1-6 6 p., 3.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus)
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: Truth table invariant cylindrical algebraic decomposition
England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015
DOI: 10.15125/BATH-00076
Dataset
-
Metaphors of Identity: Focus Groups
Panteli, N. (Creator), Davenport, J. (Creator), Marder, B. (Creator) & Nemetz, F. (Creator), University of Bath, Apr 2015
DOI: 10.15125/BATH-00079
Dataset
-
Dataset for GW4 "First Programming Courses" project
Davenport, J. (Creator), Murphy, E. (Creator), Hayes, A. (Project Member) & Crick, T. (Creator), University of Bath, 2016
DOI: 10.15125/BATH-00246
Dataset
-
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Davenport, J. (Creator), University of Bath, Mar 2017
Dataset