Matthew England

View Scopus Profile

Matthew England

Dr

 https://orcid.org/0000-0001-5729-3420

    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 journal › Meeting Abstract › peer-review

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