Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • James Davenport

Regular cylindrical algebraic decomposition

Davenport, J., Locatelli, A. & Sankaran, G., 29 Jul 2019, In : Journal of the London Mathematical Society.

Research output: Contribution to journalArticle

Open Access
File
14 Downloads (Pure)

Repositioning BCS Degree Accreditation

Crick, T., Davenport, J. H., Hanna, P., Irons, A., Pearce, S. & Prickett, T., 1 Mar 2020, ITNOW, 62, 1, p. 50-51 2 p.

Research output: Contribution to specialist publicationArticle

Rethinking pedagogies for programming: Computational thinking, codemanship and (software) carpentry

Davenport, J., Crick, T. & Hayes, A., 29 Jan 2016.

Research output: Contribution to conferencePaper

Satisfiability checking and symbolic computation

Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M. & Sturm, T., 1 Dec 2016, In : ACM Communications in Computer Algebra. 50, 4, p. 145-147 3 p.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
123 Downloads (Pure)

SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)

Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. & Sturm, T., 12 Jul 2016, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Springer International Publishing, p. 28-43 (Lecture Notes in Artificial Intelligence; no. 9791).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)

Small algorithms for small systems

Davenport, J. H., Mar 2012, In : ACM Communications in Computer Algebra. 46, 1-2, p. 1-9 9 p.

Research output: Contribution to journalArticle

Open Access
File
118 Downloads (Pure)

Solving computational problems in real algebra/geometry

Davenport, J. H., 2015, In : Annales Mathematicae et Informaticae. 44, p. 35-46 12 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Speeding up cylindrical algebraic decomposition by Gröebner Bases

Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
86 Downloads (Pure)

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial

2 Citations (Scopus)

Symbolic computation in software science

Davenport, J. H. & Kutsia, T., 1 Jan 2019, In : Journal of Symbolic Computation. 90, p. 1-2 2 p.

Research output: Contribution to journalEditorial

Teaching of computing to mathematics students: Programming and discrete mathematics

Betteridge, J., Davenport, J. H., Freitag, M., Heijtljes, W., Kynaston, S., Sankaran, G. & Traustason, G., 9 Jan 2019, Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 12

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The changing relevance of the TLB

Jones, J., Davenport, J. & Bradford, R., Sep 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, p. 110-114 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
90 Downloads (Pure)

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

England, M. & Davenport, J. H., 9 Sep 2016, Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science; vol. 9890).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Citations (Scopus)
64 Downloads (Pure)

The debate about "algorithms"

Davenport, J. H., 12 Aug 2017, In : Mathematics Today. August, p. 162-165

Research output: Contribution to journalComment/debate

Open Access
File
76 Downloads (Pure)

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 4 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
4 Citations (Scopus)
43 Downloads (Pure)

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer International Publishing, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
5 Citations (Scopus)
25 Downloads (Pure)

The Piano Mover's Problem Reformulated

Wilson, D., Bradford, R. J., Davenport, J. H. & England, M., Jun 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series ; no. CSBU-2013-03)

Research output: Book/ReportOther report

Open Access
File
27 Downloads (Pure)

The potential and challenges of CAD with equational constraints for SC-square

Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Role of Benchmarking in Symbolic Computation: (Position Paper)

Davenport, J., 2018, Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
37 Downloads (Pure)

Travelling through facebook: Exploring affordances through the Lens of age

Panteli, N., Marder, B., Davenport, J. H. & Nemetz, F., 2014.

Research output: Contribution to conferencePaper

Triangular decomposition of semi-algebraic systems

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. & Xiao, R., Feb 2013, In : Journal of Symbolic Computation. 49, p. 3-26 24 p.

Research output: Contribution to journalArticle

29 Citations (Scopus)

Truth table invariant cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 1 Sep 2016, In : Journal of Symbolic Computation. 76, p. 1-35 35 p.

Research output: Contribution to journalArticle

Open Access
21 Citations (Scopus)
58 Downloads (Pure)

Truth table invariant cylindrical algebraic decomposition by regular chains

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660. p. 44-58 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
17 Citations (Scopus)
312 Downloads (Pure)

Understanding branch cuts of expressions

England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
354 Downloads (Pure)

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

Huang, Z., England, M., Davenport, J. & Paulson, L., 26 Jan 2017, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Citations (Scopus)
119 Downloads (Pure)

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
5 Citations (Scopus)

Using the distribution of cells by dimension in a cylindrical algebraic decomposition

Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
8 Citations (Scopus)
121 Downloads (Pure)

Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
19 Citations (Scopus)
115 Downloads (Pure)
File
32 Downloads (Pure)