Computational Aspects of Discrete Subgroups of Lie GroupsAlla Detinko, Alex Kontorovich, Michael Kapovich, Peter Sarnak, Richard Schwartz₹10,016