pith. sign in

Matthew England

Identifiers

  • name variant Matthew England 0.60 · backfill

Papers (42)

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

Mentions

  • 2606.07321 #2 · arxiv_oai · confidence 0.70 Matthew England
  • 2604.23873 #2 · arxiv_oai · confidence 0.70 Matthew England
  • 1504.06484 #2 · backfill · confidence 0.70 Matthew England
  • 1503.06599 #1 · backfill · confidence 0.70 Matthew England
  • 1501.04466 #1 · backfill · confidence 0.70 Matthew England
  • 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