You might want to check out wxMaxima for symbolic math.

FreeCAD and Solvespace are both aiming at mcad, but neither are yet. FreeCAD could get better if they spend a year focusing on usability and consistency improvements.