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.
- 1 Similar Profiles
Decomposition
Engineering & Materials Science
Decompose
Mathematics
Algebra
Engineering & Materials Science
Computer Algebra
Mathematics
Polynomials
Engineering & Materials Science
Elementary Functions
Mathematics
Truth table
Mathematics
programming
Social Sciences
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2009 2020
NCCE - SW Partnership: National Centre for Computing Education - South West Partnership
7/01/19 → 31/10/19
Project: Central government, health and local authorities
Newton Fund - Zero Peak Building Energy Design for India
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/20
Project: Research council
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
1/07/16 → 31/08/18
Project: EU Commission
outreach
researchers
history
methodology
algebra
GW4 Coding
Davenport, J., Calway, A., Burnap, P., Everson, R. & Murphy, E.
2/02/16 → 30/06/16
Project: Research-related funding
Research Output 1979 2019
A UK Case Study on Cybersecurity Education and Accreditation
Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Accepted/In press) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
Identifying the parametric occurrence of multiple steady states for some biological networks
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 15 Jul 2019, In : Journal of Symbolic Computation.Research output: Contribution to journal › Article
Intelligent Geometry Tools
Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., Aug 2019, Proceedings ARCADE 2019. EasyChair PublicationsResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
On Benefits of Equality Constraints in Lex-Least Invariant CAD (Extended Abstract
Nair, A. S., Davenport, J. & Sankaran, G., Sep 2019, Proceedings SC2 2019. 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File
1
Downloads
(Pure)
Regular cylindrical algebraic decomposition
Davenport, J., Locatelli, A. & Sankaran, G., 29 Jul 2019, In : Journal of the London Mathematical Society.Research output: Contribution to journal › Article
Open Access
File
Datasets
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), University of Bath, 13 Dec 2017
DOI: 10.15125/BATH-00460
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
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
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
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
Thesis
Advances in Cylindrical Algebraic Decomposition
Author: Wilson, D., 24 Dec 2014Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Auto-tuning compiler for HPC
Author: Jones, J., 4 Sep 2019Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Computational Verification of Security Requirements
Author: Bibu, G. D., 19 Nov 2014Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks
Author: Wang, Y., 18 Apr 2016Supervisor: Bryson, J. (Supervisor), Priest, N. (Supervisor) & Davenport, J. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Integrated-Key Cryptographic Hash Functions
Author: Al-Kuwari, S., 1 Sep 2011Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File