Hi,
could anybody recommend a CAS suited to DG/GR applications such as computation of connection coefficients or generating (and possibly solving) PDEs for, for example, an unknown metric of given curvature. Oh, and compatible Linux (I'm using Maple through wine but am having myriad problems. Also tried Maxima but I don't think it has a PDE solving tool.)
Thanks,
Mat