SHEEP
From MaRDI portal
Cited in
(49)- Totally symmetrized spinors and null rotation invariance
- The program ORTOCARTAN for algebraic calculations in relativity
- scientific article; zbMATH DE number 1094243 (Why is no real title available?)
- scientific article; zbMATH DE number 773929 (Why is no real title available?)
- 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
- A note on a family of type \(\{3,1\}\) vacuum solutions with twist
- Mining metrics for buried treasure
- The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP
- Curvature properties of real one-pole solitonic perturbations on a Bianchi II background
- Topological constraints on Maxwell fields in Robertson-Walker space-times
- Computer-aided classification of the Ricci tensor in general relativity
- ATENSOR
- GRTensorII
- CAMAL
- NP
- ORTOCARTAN
- Riegeom
- MapleTensor
- muMATH-83
- EinS
- ITENSOR
- MathTensor
- Ricci
- TensorPack
- Inequivalent metrics with equal spin coefficients
- scientific article; zbMATH DE number 1005138 (Why is no real title available?)
- Comparison of algorithms for the symbolic computation of the NP spin coefficients and curvature components
- Algebraic computing and the Newman-Penrose formalism in general relativity
- scientific article; zbMATH DE number 1254294 (Why is no real title available?)
- Extensions to the computer-aided classification of the Ricci tensor
- scientific article; zbMATH DE number 3934398 (Why is no real title available?)
- Generating solutions of Einstein's field equations by typing mistakes
- Computer algebra: from the visible to the invisible
- scientific article; zbMATH DE number 107648 (Why is no real title available?)
- Applications of Maple to general relativity
- Singularities in colliding gravitational plane-wave spacetimes
- Symbolic computations in applied differential geometry
- Algebraic computing in torsion theories of gravitation.
- Quartic equations and classification of Riemann tensors in general relativity
- Algebraically independent nth derivatives of the Riemannian curvature spinor in a general spacetime
- An algorithm to simplify tensor expressions
- Type D empty space-times of embedding class 2
- An example of non-Weyl preserving complex transformation
- 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
