Skip to main content

Research Repository

Advanced Search

All Outputs (2)

Algebra, matrices, and computers (2019)
Journal Article
Detinko, A., Flannery, D., & Hulpke, A. (2019). Algebra, matrices, and computers. Snapshots of modern mathematics from Oberwolfach, 5, 1-12. https://doi.org/10.14760/SNAP-2019-005-EN

What part does algebra play in representing the real world abstractly? How can algebra be used to solve hard mathematical problems with the aid of modern computing technology? We provide answers to these questions that rely on the theory of matrix gr... Read More about Algebra, matrices, and computers.

The strong approximation theorem and computing with linear groups (2019)
Journal Article
Detinko, A. S., Flannery, D. L., & Hulpke, A. (2019). The strong approximation theorem and computing with linear groups. Journal of Algebra, 529, 536-549. https://doi.org/10.1016/j.jalgebra.2019.04.011

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group for . More generally, we are able to com... Read More about The strong approximation theorem and computing with linear groups.