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
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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
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
-
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., 28 Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 100633.Research output: Contribution to journal › Article › peer-review
Open Access -
Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK
Crick, T., Davenport, J., Hayes, A., Irons, A. & Prickett, T., 26 Jun 2021.Research output: Contribution to conference › Poster › peer-review
-
On the job teaching for on the job learners: An insight into PGT degree apprenticeships and on-line learning.
Hayes, A., Davenport, J., Wright, M., Hyde, J., Patil, B., Keating, C., Lyons, Z. & Chinery, A., 5 May 2021.Research output: Contribution to conference › Paper › peer-review
-
Supporting Early-Career Academics in the UK Computer Science Community.
Crick, T., Davenport, J., Hayes, A., Irons, A. & Prickett, T., 6 Jan 2021, 5th Conference on Computing Education Practice, CEP 2021. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Towards a 21st century personalised learning skills taxonomy
Ward, R., Phillips, O., Bowers, D., Crick, T., Davenport, J., hannah, P., Hayes, A., Irons, A. & Prickett, T., 20 Apr 2021, Proceedings of IEE Global Education Conference (EDUCON 21). April 2021, Vienna, Austria .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File12 Downloads (Pure)
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), University of Bath, Mar 2017
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 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