EPSRC logo
Researcher Details
Name: Dr M England
Organisation: Coventry University
Department: Ctr for Computational Sci and Math Mod
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/T015748/1 Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition(P)
Previous EPSRC Support
EP/R019622/1 Embedding Machine Learning within Quantifier Elimination Procedures(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator