Department of Computer Science
 
davenport_james

Professor

1 West 4.53

Dept of Computer Science

Email: j.h.davenport@bath.ac.uk

Tel: +44 (0) 1225 38 6181

 

Prof James Davenport

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 and in networking. Outside interests include examining French PhDs.

Publications

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2016. Truth table invariant cylindrical algebraic decomposition. Journal of Symbolic Computation, 76, pp. 1-35.

Abraham, E., Becker, B., Bigatti, A., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Kroening, D., Seiler, W. and Sturm, T., 2016. Forthcoming. SC2: Satisability Checking meets Symbolic Computation (Project Paper). Springer.

Davenport, J. and England, M., 2016. Forthcoming. Need Polynomial Systems be Doubly-exponential? In: Proc ICMS 2016. Springer Verlag.

England, M. and Davenport, J., 2016. Forthcoming. The complexity of cylindrical algebraic decomposition with respect to polynomial degree. Springer Verlag.

Davenport, J., 2016. Forthcoming. Complexity of Integration, Special Values, and Recent Developments. In: Proc. ICMS 2016. Springer Verlag.

Davenport, J., Hayes, A., Hourizi, R. and Crick, T., 2016. Forthcoming. Innovative Pedagogical Practices in the Craft of Computing. IEEE Press.

Davenport, J. H. and England, M., 2015. Recent advances in real geometric reasoning. In: Botana, F. and Quaresma, P., eds. Automated Deduction in Geometry. Springer, pp. 37-52.

England, M., Bradford, R. and Davenport, J. H., 2015. Improving the use of equational constraints in cylindrical algebraic decomposition. In: ISSAC '15 - 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015-07-06 - 2015-07-09.

Davenport, J., 2015. How EU data protection law could interfere with targeted ads. [Non-academic press]

Huang, Z., England, M., Wilson, D., Davenport, J. H. and Paulson, L. C., 2015. A comparison of three heuristics to choose the variable ordering for CAD. New York, U. S. A.: ACM, pp. 121-123.

Davenport, J. H., 2015. Forthcoming. Solving computational problems in real algebra/geometry. Annales Mathematicae et Informaticae, 44, pp. 35-46.

Davenport, J., 2015. What does Mathematical Notation actually mean, and how can computers process it? Annales Mathematicae et Informaticae, 44, pp. 47-57.

Davenport, J. H., 2014. OpenMath 2014 preface. CEUR Workshop Proceedings, 1186.

Wilson, D., Bradford, R., Davenport, J. H. and England, M., 2014. Cylindrical algebraic sub-decompositions. Mathematics in Computer Science, 8 (2), pp. 263-288.

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. and Bridge, J., 2014. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics.Vol. 8543. Springer, pp. 92-107.

El Kaafarani, A., Chen, L., Ghadafi, E. and Davenport, J., 2014. Attribute-based signatures with user-controlled linkability. In: Gritzalis, D., Kiayias, A. and Askoxylakis, I., eds. 13th International Conference on Cryptology and Network Security, CANS 2014, 2014-10-22 - 2014-10-24. Springer, pp. 256-269.

England, M., Bradford, R.J., Davenport, J.H. and Wilson, D., 2014. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. Springer, pp. 450-457.

Davenport, J. H., Wilson, D., Graham, I., Sankaran, G., Spence, A., Blake, J. and Kynaston, S., 2014. Interdisciplinary teaching of computing to mathematics students:Programming and discrete mathematics. MSOR Connections

Davenport, J., 2014. Mathematical Massive Open Online Courses (MOOCs):report of a panel at the 2014 ICM. In: Seoul International Conference of Mathematicians (ICM), 2014, 2014-08-13 - 2014-08-21.

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. and Wilson, D., 2014. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Springer, pp. 45-60.

Panteli, N., Marder, B., Davenport, J.H. and Nemetz, F., 2014. Travelling through facebook:Exploring affordances through the Lens of age. In: ECIS 2014 Proceedings - 22nd European Conference on Information Systems, 2014-06-09 - 2014-06-11.

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition by regular chains. In: Gerdt, V. P., Koepf, W., Seiler, W. M. and Vorozhtsov, E. V., eds. Computer Algebra in Scientific Computing.Vol. 8660. Springer, pp. 44-58.

Wilson, D., England, M., Bradford, R.J. and Davenport, J.H., 2014. Using the distribution of cells by dimension in a cylindrical algebraic decomposition. IEEE, pp. 53-60.

England, M., Wilson, D., Bradford, R. and Davenport, J. H., 2014. Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting. Springer, pp. 458-465.

Jones, J., Davenport, J. and Bradford, R., 2013. The changing relevance of the TLB. In: DCABES 2013, 2013-09-02 - 2013-09-04. Piscataway, NJ: IEEE, pp. 110-114.

Wilson, D., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Department of Computer Science, University of Bath.

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. and Xiao, R., 2013. Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, 49, pp. 3-26.

Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.

Wilson, D., Davenport, J. H., England, M. and Bradford, R. J., 2013. A "piano movers" problem reformulated. In: SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-23 - 2013-09-26. IEEE, pp. 53-60.

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. and Wilson, D., 2013. Branch Cuts in Maple 17. ACM Communications in Computer Algebra, 48 (1), pp. 24-27.

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC 2013: International Symposium on Symbolic and Algebraic Computation, 2013-06-25 - 2013-06-28. New York: ACM, pp. 125-132.

Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11. Berlin: Springer, pp. 19-34.

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11. Berlin: Springer, pp. 136-151.

Davenport, J., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28.

Chen, C., Davenport, J.H., Moreno Maza, M., Xia, B. and Xiao, R., 2012. Computing with semi-algebraic sets:Relaxation techniques and effective boundaries. Journal of Symbolic Computation, 52, pp. 72-96.

Davenport, J.H., 2012. Small algorithms for small systems. ACM Communications in Computer Algebra, 46 (1-2), pp. 1-9.

Chyzak, F., Davenport, J. H., Koutschan, C. and Salvy, B., 2012. On Kahan's rules for determining branch cuts. In: Proc. SYNASC '11. IEEE Press.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28. Piscataway: IEEE, pp. 83-88.

Wilson, D. J., Bradford, R. J. and Davenport, J. H., 2012. Speeding up cylindrical algebraic decomposition by Gröebner Bases.

Chen, C., Davenport, J. H., Lemaire, F., Maza, M. M., Xia, B., Xiao, R. and Xie, Y., 2011. Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Communications in Computer Algebra, 45 (3-4), pp. 166-168.

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. and Xiao, R., 2011. Computing with semi-algebraic sets represented by triangular decomposition. In: 36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011, June 8, 2011 - June 11, 2011, 2011-01-01. New York: Association for Computing Machinery (ACM), pp. 75-82.

Davenport, J. H., Farmer, W., Rabe, F. and Urban, J., eds., 2011. Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings.Vol. 6824 LNAI. Springer.

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. and Hayes, A., 2010. Using EVS and ResponseWare to Enhance Student Learning and Learning Experience. Submitted to: 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science, 2010-08-24 - 2010-08-26.

Carette, J. and Davenport, J. H., 2010. Factorization of sparse polynomials or the power of vocabulary. Submitted to: International Symposium on Symbolic and Algebraic Computation 2010 (ISSAC 2010), 2010-07-25 - 2010-07-28.

Davenport, J., 2010. The Challenges of Multivalued "Functions". Lecture Notes in Computer Science, 6167, pp. 1-12.

Bradford, R., Davenport, J. H. and Sangwin, C., 2010. A comparison of equality in computer algebra and correctness in mathematical pedagogy (II). International Journal for Technology in Mathematics Education, 17 (2), pp. 93-98.

Al-Kuwari, S., Davenport, J. H. and Bradford, R. J., 2010. Cryptographic hash functions: recent design trends and security notions. In: Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, pp. 133-150.

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. and Xiao, R., 2010. Triangular decomposition of semi-algebraic systems. In: 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, July 25, 2010 - July 28, 2010, 2010-01-01. New York, U. S. A.: ACM, pp. 187-194.

Bradford, R., Davenport, J. H. and Sangwin, C. J., 2009. A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. 8th International Conference on Mathematical Knowledge Management (MKM 2009), 2009-07-10 - 2009-07-12. Berlin: Springer, pp. 75-89.

Carette, J., Davenport, J. and Fitch, J., 2009. Barton and Fitch Revisited. EPRINTS-JOURNAL

Khader, D., Chen, L. Q. and Davenport, J. H., 2009. Certificate-free Attribute Authentication. Berlin: Springer, pp. 301-325.

Davenport, J. H. and Carette, J., 2009. The sparsity challenges. IEEE Press, pp. 3-7.

Davenport, J., Hayes, A. and Parmar, N. R., 2009. The use of an Electronic Voting System to enhance student feedback. In: Plymouth e-Learning Conference, 2009-04-23 - 2009-04-24.

Davenport, J. H. and Kohlhase, M., 2009. Unifying Math Ontologies: A tale of two standards. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009.Vol. 5625/2. Berlin: Springer, pp. 263-278.

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. and Xie, Y., 2009. User interface design for geometrical decomposition algorithms in Maple. In: Mathematical User-Interfaces Workshop 2009, 2009-07-06.

Davenport, J. H. and Libbrecht, P., 2008. The freedom to extend OpenMath and its utility. Mathematics in Computer Science, 2 (2), pp. 379-398.

Stratford, J. and Davenport, J., 2008. Unit Knowledge Management. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Berlin, Heidelberg: Springer, pp. 382-397.

Davenport, J. H., 2008. AISC Meets Natural Typography. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008.Vol. 5144. Berlin, Heidelberg: Springer, pp. 53-60.

Bronstein, M., Corless, R. M., Davenport, J. H. and Jeffrey, D. J., 2008. Algebraic properties of the Lambert W Function from a result of Rosenlicht and of Liouville. Integral Transforms and Special Functions, 19 (10), pp. 709-712.

Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008.Vol. 5144. Berlin, Heidelberg: Springer, pp. 266-280.

This list was generated on Sat Jul 23 13:37:37 2016 IST.

View more publications »