In this paper we present a short description of q-analogues of Gosper's, Zeilberger's, Petkovsek's and related algorithms. Furthermore we introduce our corresponding MaPI-R implementations and show how they can he applied to prove or even derive identities associated with q-series.