SHEEP

swMATH855MaRDI QIDQ13600FDOQ13600

Author name not available (Why is that?)

Described by source

• Interacting with SHEEP

Cited In (36)

• Totally symmetrized spinors and null rotation invariance
• The program ORTOCARTAN for algebraic calculations in relativity
• Title not available (Why is that?)
• Title not available (Why is that?)
• The equivalence problem
• Cadabra: a field-theory motivated symbolic computer algebra system
• Applications of SHEEP in general relativity
• Invariants of the Riemann tensor for class \(B\) warped product space-times
• User's guide to REDUCE subroutines for algebraic computations in general relativity
• Mining metrics for buried treasure
• A note on a family of type \(\{3,1\}\) vacuum solutions with twist
• The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP
• Computer-aided classification of the Ricci tensor in general relativity
• Topological constraints on Maxwell fields in Robertson-Walker space-times
• Curvature properties of real one-pole solitonic perturbations on a Bianchi II background
• Title not available (Why is that?)
• Inequivalent metrics with equal spin coefficients
• Comparison of algorithms for the symbolic computation of the NP spin coefficients and curvature components
• Title not available (Why is that?)
• Algebraic computing and the Newman-Penrose formalism in general relativity
• Extensions to the computer-aided classification of the Ricci tensor
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer algebra: from the visible to the invisible
• Generating solutions of Einstein's field equations by typing mistakes
• Singularities in colliding gravitational plane-wave spacetimes
• Applications of Maple to general relativity
• Symbolic computations in applied differential geometry
• Algebraic computing in torsion theories of gravitation.
• Algebraically independent nth derivatives of the Riemannian curvature spinor in a general spacetime
• Quartic equations and classification of Riemann tensors in general relativity
• An algorithm to simplify tensor expressions
• An example of non-Weyl preserving complex transformation
• Type D empty space-times of embedding class 2
• Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE
• Automorphisms in action: spatially homogeneous Einstein-Maxwell plane waves

This page was built for software: SHEEP