In this paper, we study the number of different interference alignment (IA) solutions in a Kuser multiple-input multiple-output (MIMO) interference channel, when the alignment is performed via beamforming and no symbol extensions are allowed. We focus on the case where the number of IA equations matches the number of variables. In this situation, the number of IA solutions is finite and constant for any channel realization out of a zero-measure set and, as we prove in the paper, it is given by an integral formula that can be numerically approximated using Monte Carlo integration methods. More precisely, the number of alignment solutions is the scaled average of the determinant of a certain Hermitian matrix related to the geometry of the problem. Interestingly, while the value of this determinant at an arbitrary point can be used to check the feasibility of the IA problem, its average (properly scaled) gives the number of solutions. For single-beam systems the asymptotic growth rate of the number of solutions is analyzed and some connections with classical combinatorial problems are presented. Nonetheless, our results can be applied to arbitrary interference MIMO networks, with any number of users, antennas and streams per user. Ó. González and I. Santamaria are with the Communications Engineering Editorial Area Communications I. INTRODUCTION Interference alignment (IA) has received a lot of attention in recent years as a key technique to achieve the maximum degrees of freedom (DoF) of wireless networks in the presence of interference. Originally proposed in [1], [2], the basic idea of IA consists of designing the transmitted signals in such a way that the interference at each receiver falls within a lower-dimensional subspace, therefore leaving a subspace free of interference for the desired signal [3]. This idea has been applied in different forms (e.g., ergodic interference alignment [4], signal space alignment [1], or signal scale alignment [5], [6]), and adapted to various wireless networks such as interference networks [1], X channels [2], downlink broadcast channels in cellular communications [7] and, more recently, to two-hop relay-aided networks in the form of interference neutralization [8].In this paper we consider the linear IA problem (i.e., signal space alignment by means of linear beamforming) for the K-user multiple-input multiple-output (MIMO) interference channel with constant channel coefficients. Moreover, the MIMO channels are considered to be generic, without any particular structure, which happens, for instance, when the channel matrices have independent entries drawn from a continuous distribution. This setup has also been the preferred option for recent experimental studies on IA [9], [10], [11]. The feasibility of linear IA for MIMO interference networks, which amounts to study the solvability of a set of polynomial equations, has been an active research topic during the last years [12], [13], [14],[15], [16]. Combining algebraic geometry tools with differential topology, it has been rece...