I saw a similar question on the Statistical Analysis meta, but I didn't see any discussion here, so I figured I'd kick this off to the "power users" of Mathematics. Where are the boundaries when it comes to tools like computer algebra systems, numerical analysis software, geometry software, and theorem provers?
Should questions about choosing and using these tool be allowed or should they be off-topic?
math-software
. To my knowledge, the only software question closed was about TeX, for which there exists an excellent SE2.0 site already. $\endgroup$