Ontify
Classification of the possible algebraic symmetries of the Weyl tensor at each point in a Lorentzian manifold.