most recent 30 from http://mathoverflow.net 2013-05-24T00:45:20Z http://mathoverflow.net/feeds/question/53440 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53440/differential-geometry-general-relativity-computer-algebra kangdon 2011-01-27T03:18:10Z 2011-03-21T00:11:53Z

<p>Hi,</p> <p>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.)</p> <p>Thanks,</p> <p>Mat</p>

http://mathoverflow.net/questions/53440/differential-geometry-general-relativity-computer-algebra/53451#53451 Igor Rivin 2011-01-27T04:59:07Z 2011-01-27T04:59:07Z

<p>Mathematica has had GR stuff for decades (here is a random link:</p> <p><a href="http://wps.aw.com/aw_hartle_gravity_1/0,6533,512496-,00.html" rel="nofollow">http://wps.aw.com/aw_hartle_gravity_1/0,6533,512496-,00.html</a></p> <p>but google search for Mathematica "general relativity" returns lots.</p> <p>I don't understand your comment about Maple -- it certainly has a linux version.</p>

http://mathoverflow.net/questions/53440/differential-geometry-general-relativity-computer-algebra/53472#53472 José Figueroa-O'Farrill 2011-01-27T09:45:46Z 2011-01-27T09:45:46Z

<p>Although I don't have much experience using them (I keep telling myself I should learn one of them well) I know several such systems:</p> <ol> <li><a href="http://smc.vnet.net/MathTensor.html" rel="nofollow">MathTensor</a> for Mathematica</li> <li><a href="http://grtensor.phy.queensu.ca/" rel="nofollow">GRTensor</a> for Maple (and a limited subset for Mathematica)</li> <li><a href="http://cadabra.phi-sci.com/" rel="nofollow">Cadabra</a>, not tied to any particular CAS system; although it uses <a href="http://young.sp2mi.univ-poitiers.fr/~marc/LiE/" rel="nofollow">LiE</a></li> </ol>

http://mathoverflow.net/questions/53440/differential-geometry-general-relativity-computer-algebra/59016#59016 Artur 2011-03-21T00:11:53Z 2011-03-21T00:11:53Z

<p>I recommend for Mathematica :<br> <a href="http://www.xact.es/" rel="nofollow">http://www.xact.es/</a> it seems to be the most advanced package for General Relativity. </p>