Matthew England

Papers

Total Citations

H-Index

About

Matthew England is a mathematician and computer scientist whose research sits at the intersection of symbolic computation, real algebraic geometry, and scientific computing. His primary contributions lie in advancing Cylindrical Algebraic Decomposition (CAD), a fundamental tool for solving systems of polynomial equations and inequalities. England introduced the concept of a Layered Cylindrical Algebraic Decomposition, a novel truncation of CAD that focuses on high-dimensional cells—an idea that balances computational efficiency with topological accuracy. This work, though highly specialized, has been foundational for applications in robotics, verification, and optimization. His paper "Computer Algebra in Scientific Computing" (2019) has garnered 7 citations, reflecting its relevance in bridging abstract algebraic methods with practical scientific computation. England’s research is characterized by a deep commitment to making powerful algebraic techniques accessible and efficient for real-world problems. His layered approach to CAD, in particular, has opened new pathways for tackling complex systems where full decomposition is computationally prohibitive. For students and researchers, England’s work exemplifies how theoretical advances in algebra can directly empower computational science.