swMATH855MaRDI QIDQ13600FDOQ13600
Author name not available (Why is that?)
Official website: http://www.computeralgebra.nl/systemsoverview/special/tensoranalysis/sheep/index.html
Cited In (43)
- 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
- GRTensorII
- Title not available (Why is that?)
- muMATH-83
- EinS
- ITENSOR
- MathTensor
- Ricci
- 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?)
- TensorPack
- 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
