The aim of the present paper is to give a systematic and critical presentation of important existing analytical solutions for transient stream-aquifer interaction, which can be used to give answers to simple interaction problems or to verify mathematical models. Stream-aquifer interaction is the most common subject of papers discussing surface water-ground water interaction and a review of analytical solutions to the problem is lacking from the literature. The analytical solutions presented in the paper are firstly distinguished based on whether only the ground water flow equations or both the ground water and stream flow equations are solved for their derivation and secondly based on the type of aquifer (confined or unconfined) interacting with the stream and on the type of equations solved. The literature review showed that there is only a small number of publications, where the authors consider both the ground water and the stream flow equations for the development of the analytical solutions. The majority of the available analytical solutions of stream-aquifer interaction are derived by solving only the ground water flow equations, taking into account the stream water level as a boundary condition. For each analytical solution presented in the paper, its accuracy, its ease of application to simple interaction problems and its suitability for the verification of mathematical models are discussed in detail. Specifically for the case of predicting the water table level in unconfined aquifers interacting with streams, an analytical solution of the non-linear Boussinesq equation is compared to two analytical solutions of different linearized forms of the Boussinesq equation, in order to quantify the error in estimating the water table level when using a linear solution. Among the very few analytical solutions found in the literature, where the authors consider both the stream flow and ground water flow equations for their development, the most comprehensive one is chosen to give an application example, which can be used as a benchmark case for the verification of integrated stream-aquifer mathematical models.