The constructive membership problem for discrete two-generator subgroups of SL2(R)

We describe a practical algorithm to solve the constructive membership problem for discrete two-generator subgroups of SL2(R) or PSL2(R). This algorithm has been implemented in Magma for groups defined over real algebraic number fields.