Symbolic computation issues



Are all the fundamental issues having to do with symbolic
computation already solved? I am asking because all systems (commercial
ones in particular) seem to be for the most part doing GUI and eye candy
development.

.