Computing the Zariski closure of a finitely generated matrix group

We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on non-trivial examples. In the last section we report on an implementation of the algorithm in the computer algebra system {\tt OSCAR}.