  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.
