• Manvers Street, Virgil Building, University of Bath

    BA1 1JW Bath

    UK United Kingdom

Research Output 2016 2019

Filter
Article
2019

Lazard's CAD exploiting equality constraints

Nair, A., Davenport, J., Sankaran, G. & McCallum, S., 30 Sep 2019, In : ACM Communications in Computer Algebra. 53, 3, p. 138-141 4 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 461-488 28 p.

Research output: Contribution to journalArticle

Open Access
2017

An Analysis of Introductory Programming Courses at UK Universities

Murphy, E., Crick, T. & Davenport, J. H., 1 Apr 2017, In : The Art, Science, and Engineering of Programming. 1, 2, 23 p., 18.

Research output: Contribution to journalArticle

Open Access
programming
computer science
university
programming language
New Zealand