pith. sign in

Matthew England

Identifiers

  • name variant Matthew England 0.60 · backfill

Papers (41)

  1. Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints cs.SC · 2026 · author #2
  2. Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition cs.SC · 2019 · author #1
  3. Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback cs.CY · 2018 · author #2
  4. A Combined CNN and LSTM Model for Arabic Sentiment Analysis cs.CL · 2018 · author #3
  5. Towards Incremental Cylindrical Algebraic Decomposition in Maple cs.SC · 2018 · author #2
  6. Quantifier Elimination for Reasoning in Economics cs.SC · 2018 · author #4
  7. Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition cs.SC · 2018 · author #2
  8. OpenMath and SMT-LIB cs.SC · 2018 · author #2
  9. Improving Sentiment Analysis in Arabic Using Word Representation cs.CL · 2018 · author #3
  10. The Potential and Challenges of CAD with Equational Constraints for SC-Square cs.SC · 2017 · author #2
  11. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks cs.SC · 2017 · author #1
  12. A Case Study on the Parametric Occurrence of Multiple Steady States cs.SC · 2017 · author #3
  13. Arabic Language Sentiment Analysis on Health Services cs.CL · 2017 · author #3
  14. Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition cs.SC · 2016 · author #1
  15. Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases cs.SC · 2016 · author #2
  16. Need Polynomial Systems be Doubly-exponential? cs.SC · 2016 · author #2
  17. The complexity of cylindrical algebraic decomposition with respect to polynomial degree cs.SC · 2016 · author #1
  18. Recent Advances in Real Geometric Reasoning cs.SC · 2015 · author #2
  19. An implementation of Sub-CAD in Maple cs.SC · 2015 · author #1
  20. Improving the use of equational constraints in cylindrical algebraic decomposition cs.SC · 2015 · author #1
  21. Using the distribution of cells by dimension in a cylindrical algebraic decomposition cs.SC · 2014 · author #2
  22. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #1
  23. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting cs.SC · 2014 · author #1
  24. A comparison of three heuristics to choose the variable ordering for CAD cs.SC · 2014 · author #2
  25. Formulating problems for real algebraic geometry cs.SC · 2014 · author #1
  26. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition cs.SC · 2014 · author #1
  27. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition cs.SC · 2014 · author #2
  28. Truth Table Invariant Cylindrical Algebraic Decomposition cs.SC · 2014 · author #3
  29. A "Piano Movers" Problem Reformulated cs.CG · 2013 · author #3
  30. An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance cs.SC · 2013 · author #1
  31. Cylindrical Algebraic Decompositions for Boolean Combinations cs.SC · 2013 · author #3
  32. Understanding Branch Cuts of Expressions cs.MS · 2013 · author #1
  33. Optimising Problem Formulation for Cylindrical Algebraic Decomposition cs.SC · 2013 · author #3
  34. An implementation of CAD in Maple utilising McCallum projection cs.SC · 2013 · author #1
  35. Program Verification in the presence of complex numbers, functions with branch cuts etc cs.SC · 2012 · author #3
  36. Some New Addition Formulae for Weierstrass Elliptic Functions math.AG · 2012 · author #2
  37. Building Abelian Functions with Generalised Baker-Hirota Operators math-ph · 2012 · author #1
  38. Generalised Elliptic Functions math-ph · 2011 · author #1
  39. Deriving bases for Abelian functions math-ph · 2011 · author #1
  40. Higher Genus Abelian Functions Associated with Cyclic Trigonal Curves math-ph · 2010 · author #1
  41. A genus six cyclic tetragonal reduction of the Benney equations math-ph · 2009 · author #1

Mentions

  • 1409.1781 #2 · backfill · confidence 0.70 Matthew England
  • 1405.6094 #1 · backfill · confidence 0.70 Matthew England
  • 1405.6090 #1 · backfill · confidence 0.70 Matthew England
  • 1405.6082 #2 · backfill · confidence 0.70 Matthew England
  • 1405.3461 #1 · backfill · confidence 0.70 Matthew England
  • 1404.6371 #1 · backfill · confidence 0.70 Matthew England
  • 1404.6369 #2 · backfill · confidence 0.70 Matthew England
  • 1401.0645 #3 · backfill · confidence 0.70 Matthew England
  • 1309.1588 #3 · backfill · confidence 0.70 Matthew England
  • 1306.3062 #1 · backfill · confidence 0.70 Matthew England
  • 1304.7603 #3 · backfill · confidence 0.70 Matthew England
  • 1304.7223 #1 · backfill · confidence 0.70 Matthew England
  • 1304.7222 #3 · backfill · confidence 0.70 Matthew England
  • 1302.6401 #1 · backfill · confidence 0.70 Matthew England
  • 1212.5417 #3 · backfill · confidence 0.70 Matthew England
  • 1207.6274 #2 · backfill · confidence 0.70 Matthew England
  • 1203.3409 #1 · backfill · confidence 0.70 Matthew England
  • 1111.0777 #1 · backfill · confidence 0.70 Matthew England
  • 1103.0468 #1 · backfill · confidence 0.70 Matthew England
  • 1003.4144 #1 · backfill · confidence 0.70 Matthew England
  • 0903.5203 #1 · backfill · confidence 0.70 Matthew England

Frequent Coauthors