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

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 examples of non-virtually abelian discontinuous group actions on homogeneous spaces which do not admit proper SL(2,R)-actions.