In the last two decades much of the algebraic/combinatorial structure of Lie groups, Lie algebras, and their representations has been implemented in several excellent computer algebra packages, including LiE, GAP4, Chevie, Magma and Maple. The structure of reductive symmetric spaces or more generally symmetric k-varieties is very similar to that of the underlying Lie group, with a few additiona...