Matthew England

1. Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
   2026/04/26 by James H. Davenport, Matthew England, Scott McCallum · 1 voice
   Computer Science · Mathematics · #cs.SC #math.AG
2. Strengthening ocean literacy: marine science education and training to ensure Australia's blue future
   2026/05/03 by Prue Francis, Rachel Kelly, Louise Swanson +27 · 1 voice
   Engineering · Environmental Science · #Coastal and Marine Management #Conservation, Ecology, Wildlife Education #Maritime Navigation and Safety