@article{CCIRM_2018__6_1_A1_0, author = {Gourgoulhon, \'Eric and Mancini, Marco}, title = {Symbolic tensor calculus on manifolds: a {SageMath} implementation}, booktitle = {Journ\'ees Nationales de Calcul Formel. 22 {\textendash} 26 Janvier 2018}, series = {Les cours du CIRM}, note = {talk:1}, pages = {1--54}, publisher = {CIRM}, number = {1}, year = {2018}, doi = {10.5802/ccirm.26}, language = {en}, url = {http://archive.numdam.org/articles/10.5802/ccirm.26/} }
TY - JOUR AU - Gourgoulhon, Éric AU - Mancini, Marco TI - Symbolic tensor calculus on manifolds: a SageMath implementation BT - Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018 AU - Collectif T3 - Les cours du CIRM N1 - talk:1 PY - 2018 SP - 1 EP - 54 IS - 1 PB - CIRM UR - http://archive.numdam.org/articles/10.5802/ccirm.26/ DO - 10.5802/ccirm.26 LA - en ID - CCIRM_2018__6_1_A1_0 ER -
%0 Journal Article %A Gourgoulhon, Éric %A Mancini, Marco %T Symbolic tensor calculus on manifolds: a SageMath implementation %B Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018 %A Collectif %S Les cours du CIRM %Z talk:1 %D 2018 %P 1-54 %N 1 %I CIRM %U http://archive.numdam.org/articles/10.5802/ccirm.26/ %R 10.5802/ccirm.26 %G en %F CCIRM_2018__6_1_A1_0
Gourgoulhon, Éric; Mancini, Marco. Symbolic tensor calculus on manifolds: a SageMath implementation, in Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018, Les cours du CIRM, no. 1 (2018), Talk no. 1, 54 p. doi : 10.5802/ccirm.26. http://archive.numdam.org/articles/10.5802/ccirm.26/
[1] I.M. Anderson and C.G. Torre: New symbolic tools for differential geometry, gravitation, and field theory, J. Math. Phys. 53, 013511 (2012); http://digitalcommons.usu.edu/dg/ | DOI | MR
[2] http://digi-area.com/Maple/atlas/
[3] G.V. Bard Sage for Undergraduates, Americ. Math. Soc. (2015); preprint freely downloadable from http://www.gregorybard.com/ | DOI | Zbl
[4] T. Birkandan, C. Güzelgün, E. Şirin and M. Can Uslu: Symbolic and Numerical Analysis in General Relativity with Open Source Computer Algebra Systems, arXiv:1703.09738v2 (2018). | DOI | MR
[5] D.A. Bolotin and S.V. Poslavsky: Introduction to Redberry: the computer algebra system designed for tensor manipulation, arXiv:1302.1219 (2013); http://redberry.cc/ | DOI
[6] M. Culler, N. M. Dunfield, M. Goerner, and J. R. Weeks: SnapPy, a computer program for studying the geometry and topology of 3-manifolds; http://snappy.computop.org
[7] J.G. Fletcher, R. Clemens, R. Matzner, K.S. Thorne and B.A. Zimmerman: Computer Programs for Calculating General-Relativistic Curvature Tensors, Astrophys. J. 148, L91 (1967). | DOI
[8] https://github.com/grtensor/grtensor
[9] D. Joyner and W. Stein: Sage Tutorial, CreateSpace (2014).
[10] A.V. Korol’kova, D.S. Kulyabov and L.A. Sevast’yanov: Tensor computations in computer algebra systems, Prog. Comput. Soft. 39, 135 (2013). | DOI | MR
[11] J. M. Lee : Riemannian Manifolds: An Introduction to Curvature, Springer, New-York (1997). | Zbl
[12] J. M. Lee : Introduction to Smooth Manifolds, 2nd edition, Springer, New-York (2013). | DOI | Zbl
[13] M.A.H. MacCallum: Computer Algebra in General Relativity, Int. J. Mod. Phys. A 17, 2707 (2002). | DOI | MR
[14] M.A.H. MacCallum: Computer algebra in gravity research, Liv. Rev. Relat. 21, 6 (2018); | DOI
[15] J.-M. Martin-Garcia: xPerm: fast index canonicalization for tensor computer algebra, Comput. Phys. Commun. 179, 597 (2008); http://www.xact.es | DOI | Zbl
[16] J. W. Milnor : On manifolds homeomorphic to the 7-sphere, Ann. Math. 64, 399 (1956). | DOI | MR
[17] B. O’Neill : Semi-Riemannian Geometry, with Applications to Relativity, Academic Press, New York (1983). | DOI
[19] K. Peeters: Symbolic field theory with Cadabra, Comput. Phys. Commun. 15, 550 (2007); https://cadabra.science/ | DOI | Zbl
[20] http://www.math.washington.edu/~lee/Ricci/
[21] https://sagemanifolds.obspm.fr
[22] J.E.F. Skea: Applications of SHEEP (1994), lecture notes available at http://www.computeralgebra.nl/systemsoverview/special/tensoranalysis/sheep/
[23] N. Steenrod: The Topology of Fibre Bundles, Princeton Univ. Press (Princeton) (1951) | DOI | Zbl
[24] W. Stein and D. Joyner: SAGE: System for Algebra and Geometry Experimentation, Commun. Comput. Algebra, 39, 61 (2005). | DOI | Zbl
[25] C. H. Taubes : Gauge theory on asymptotically periodic 4-manifolds, J. Differential Geom. 25, 363 (1987). | DOI | MR | Zbl
[26] V. Toth: Tensor manipulation in GPL Maxima, arXiv:cs/0503073 (2005).
[27] P. Zimmermann et al.: Calcul mathématique avec Sage, CreateSpace (2013); freely downloadable from http://sagebook.gforge.inria.fr/
[28] P. Zimmermann et al.: Computational Mathematics with SageMath (2018); freely downloadable from http://sagebook.gforge.inria.fr/english.html
Cited by Sources: