Professor
East Building East Building 3.2-4-6 Desk
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
Jones, J., Davenport, J. and Bradford, R., 2013. Forthcoming. The changing relevance of the TLB. In: DCABES 2013, 2013-09-02 - 2013-09-04, Kingston-on-Thames.
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.
Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. 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. Intelligent Computer Mathematics. 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. Intelligent Computer Mathematics. 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, Timisoara.
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: Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 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. In: Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. and Sorge, V., eds. Intelligent computer mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J. , pp. 280-294.
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., Lemaire, F., Moreno Maza, 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: ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. 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. Heidelberg: 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, Durham.
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, Technische Universität München, München.
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: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. New York: 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. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. 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. In: Parker, M. G., ed. Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings. Berlin: Springer, pp. 301-325.
Davenport, J. H. and Carette, J., 2009. The sparsity challenges. In: 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). 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, Plymouth.
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, Grand Bend, Ontario, Canada.
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.
