Back in the days I used Magma for symbolic algebra/geometry. Not sure about the status of the project today, but it had absolutely unique features to work in extension fields, rings, and build abelian varieties on these.