Until there is an open source software that can match the raw symbolic power combined with the huge libraries nothing can touch it for a lot of people.
Until there is an open source software that can match the raw symbolic power combined with the huge libraries nothing can touch it for a lot of people.
same deal with solvers more generally. the coin-or stuff (e.g. Cbc) is slow and buggy, Cplex and Gurobi are far better but very expensive. where are the PhDs in this field? what are they building?
Have you tried Maxima? It seems more ergonomic.
A very computer-science perspective with the obligatory dose of hubris.
Pencil and paper is continuing to serve a much older, much more consolidated discipline (mathematics) well for... ever since paper was invented.
It would be insane value for everyone if the symbolic niche could also be covered by a general purpose language...