New symbolic tools for differential geometry, gravitation, and field theory. DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the variational calculus. These capabilities, combined with dramatic recent improvements in symbolic approaches to solving algebraic and differential equations, have allowed for development of powerful new tools for solving research problems in gravitation and field theory. The purpose of this paper is to describe some of these new tools and present some advanced applications involving: Killing vector fields and isometry groups, Killing tensors, algebraic classification of solutions of the Einstein equations, and symmetry reduction of field equations.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- de Doná, J.; Tehseen, N.; Vassiliou, P.J.: Symmetry reduction, contact geometry, and partial feedback linearization (2018)
- Duyunova, Anna; Lychagin, Valentin; Tychkov, Sergey: Differential invariants for plane flows of inviscid fluids (2018)
- Duyunova, Anna; Lychagin, Valentin; Tychkov, Sergey: Differential invariants for spherical flows of a viscid fluid (2018)
- Duyunova, A.; Lychagin, Valentin; Tychkov, Sergey: Differential invariants for plane flows of viscid fluids (2017)
- Duyunova, Anna; Lychagin, Valentin; Tychkov, Sergey: Differential invariants for flows of viscid fluids (2017)
- Lisle, Ian G.; Huang, S.-L.Tracy: Algorithmic calculus for Lie determining systems (2017)
- Galaev, Anton: How to find the holonomy algebra of a Lorentzian manifold (2015)
- Anderson, I.M.; Torre, C.G.: New symbolic tools for differential geometry, gravitation, and field theory (2012)
- Poole, Douglas; Hereman, Willy: Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions (2011)
- Hereman, Willy; Adams, Paul J.; Eklund, Holly L.; Hickman, Mark S.; Herbst, Barend M.: Direct methods and symbolic software for conservation laws of nonlinear equations (2009)
- Hubert, Evelyne: Differential algebra for derivations with nontrivial commutation rules (2005)