Matthew England
  • Innovation Village 10

    CV1 2TL Coventry

    United Kingdom

Accepting PhD Students

PhD projects

- Computer algebra and logic algorithm development.
- MATH-AI: particularly for optimising computational mathematics software
- Pedagogy of programming and algorithms.

Calculated based on number of publications stored in Pure and citations from Scopus
20092025

Research activity per year

Filter
Meeting Abstract

Search results

  • 2016

    Satisfiability Checking and Symbolic Computation

    Abraham, 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

    Research output: Contribution to journalMeeting Abstractpeer-review

    Open Access
    File
    6 Citations (Scopus)
    93 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.