Symbolic computation and more with multivariate polynomials