Semisimple subalgebras in simple Lie algebras and a computational approach to the compact Clifford-Klein forms problem. - Maciej Bochenski; Piotr Jastrzebski; Anna Szczepkowska; Aleksy Tralle; Artur Woike (Exp. Math., 2021)