Abstract
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 -actions.
Acknowledgments
We cordially thank the referees for valuable advice.