Matthew England

    Accepting PhD Students

    PhD projects

    - Application of machine learning to improve computer algebra systems. - Improved algorithms for quantifier elimination. - Application of computer algebra to network biology. - Applications of computer algebra to economics

    • Source: Scopus
    • Calculated based on no. of publications stored in Pure and citations from Scopus

    Research activity per year

    If you made any changes in Pure these will be visible here soon.
    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
      3 Citations (Scopus)
      59 Downloads (Pure)
    Your message has successfully been sent.
    Your message was not sent due to an error.