Thoughts on Things that Should Exist

• A graphing calculator that supports quantifiers.
  • E.g. you can ask for a graph of \(\exists t, (t-x)^2 + (t^3-y)^2 \leq 1.\)
  • This is possible, if you restrict to algebraic functions. But quantifier elimination is difficult to implement, and can have terrible time complexity.