Non-virtually abelian discontinuous group actions vs. proper SL(2,R)-actions on homogeneous spaces

Maciej Bochenski, Willem A. de Graaf, Piotr Jastrzebski +1

We develop algorithms and computer programs which verify criteria of properness of discrete group actions on semisimple homogeneous spaces. We apply these algorithms to find new ex…