Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 137528, 11 pages
Research Article

Channel Parameters Identification Based on IMM Algorithm for Variant Correlation Channel

1National Police University of China, Shenyang 110854, China
2Envisage Information Systems, Ithaca, NY 14850, USA
3College of Information and Communication, Harbin Engineering University, Harbin 150001, China

Received 29 January 2015; Accepted 13 March 2015

Academic Editor: Francesco Tornabene

Copyright © 2015 Zhuo Yang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


In wireless communication systems, correct knowledge of the correlation of a fading channel is essential for channel estimation. Both the reliability of the estimated channel impulse response (CIR) and the adjustment of an adaptive communication system need the accurate correlation information, which is difficult to identify especially when changing. By modeling the fading channel as a hybrid dynamic system, a channel estimation algorithm based on Interacting Multiple Model (IMM) is presented with the consideration of time-variant channel correlation. Applying the IMM algorithm, the proposed channel estimator can identify the channel correlation. With the accurate information of channel correlation, the proposed algorithm is capable of performing accurate estimation on the fading wireless channel with time-variant or time-invariant correlation. Our simulations demonstrate that the IMM based channel estimation algorithm has good performance in estimating CIR as well as in identifying the channel correlation.

1. Introduction

Information transmission with high data rates and reliable performance is required in wireless communication systems. However, the performance of the communication systems suffers from the signal distortion caused by wireless channel. As a fundamental technology to ensure communication performance, a channel estimation algorithm is required to measure the channel parameters and reduce the influence on the communication system.

In the application of wireless control and wireless sensor systems, high performance communication between maneuvering objects is required. Obviously, the impulse response of the channel is time-variant because of the Doppler effect. Furthermore, the channel correlation which governs the way that the channel varies is also time-variant because of the frequent change in the speed of the moving object. This scenario can be treated as a channel that varies in different modes. In this case, the performance of channel estimation is affected not only by the variance of channel impulse response but also by the changing of channel modes.

In the adaptive communication systems, system parameters, signal modes, and transmission modes can be adjusted according to the channel quality. Therefore, the statistical information of the channel, such as channel correlation, reflecting how the channel changes, is required at each moment to adjust communication parameters. Without the channel statistical information directly provided by the channel estimator, the system parameters can only be adjusted according to the channel information calculated indirectly, for example, bit error rate (BER). Therefore, tracking the channel correlation is important for the channel estimation algorithm to achieve good performance. Channel estimation algorithms that provide CIR as well as the statistical information should be developed. This has not been systematically studied.

Among channel estimation algorithms, Linear Minimum Mean Square error (LMMSE) is widely used, since it is optimum in minimizing the Mean Square Error (MSE) of the estimated channel parameters in the presence of Additive White Gaussian Noise (AWGN). It is shown that LMMSE is very attractive for the channel estimation in [13]. However, the computational complexity of LMMSE is very high due to the large amount of information operated comprehensively in the estimation algorithm.

The Kalman filter (KF), as an approximation of the Optimal Bayesian filter, is used in a wide range of engineering and econometric applications because of its high accuracy and efficiency on parameter estimating in dynamic systems [4]. In wireless channel estimation, the Kalman filter has been applied with the wireless channel described by autoregressive (AR) model [57]. These methods are functional with low computational complexity and the ability of fast tracking the varying channel in the situation that the speed of the channel fading is constant.

In the case of a maneuvering receiver, channel correlation varies into different modes because of the changing Doppler shift corresponding to the relative speed between the transmitter and the receiver. Without information on channel correlation, traditional channel estimation algorithms are limited in performance in such situations, because they cannot effectively respond to the changes in channel mode [8, 9].

The Multiple Model (MM) filter was developed to solve the problem of system mode changes [4]. The Interacting Multiple Model (IMM) algorithm is one of the most efficient approaches among MM algorithms and is widely used in object tracking [10] and other hybrid dynamic systems [11, 12]. In communication systems the IMM algorithm can provide accurate channel parameters by applying two Kalman filters to the static and moving states of the receiver [13].

The contribution of this paper is to propose a new channel estimation algorithm based on the IMM algorithm. This algorithm characterizes the fading channel using state-space models and describes the dynamic channel correlation with multiple models. The proposed method is capable of tracking the CIR and identifying the channel correlation which changes according to the maneuverability of the receiver.

This paper is organized as follows. The signal transmission of a communication system as well as the Rayleigh fading multipath wireless channel is modeled mathematically in Section 2. In Section 3, the processes of channel correlation identification and channel estimation based on IMM theory are presented with theoretical proof after the introduction of the KF. The importance of channel correlation identification and the applicability of the proposed algorithm are also discussed in Section 3. After presenting and analyzing a number of simulation results in Section 4, the conclusions are summarized in Section 5.

2. Problem Formulation

2.1. Transmission System Model

The transform and transmission of data symbols are illustrated in Figure 1. In the transmitter, a sequence composed of binary data is modulated in baseband and transforms into a sequence of complex signals . After being modulated by carrier with frequency , transforms into waveform and transmitted over a Rayleigh fading channel , where is the delay and denotes current time. In the receiver, after carrier demodulation and sampling, is obtained from the receiving signal and can be expressed as follows:where is the discrete time CIR with and denoting current time and the delay tab; is the discrete time receiving signal with being sampled; is the sampled noise signal. With the help of channel estimation algorithms, the CIR can be estimated, and the output of the channel estimation algorithm is denoted by . Using the information of , received signal can be recovered from , and the recovered signal is denoted as . After baseband demodulation, the received data is obtained from .

Figure 1: Diagram of a communication system.
2.2. Fading Channel

In wireless channels, with the effect of atmospheric reflection, refraction, and reflections from object such as buildings, the signal may travel in more than one path from the transmitter to the receiver. In mobile communication systems, the attenuation and the delay of the CIR are time-variant. After being sampled with the symbol period , the CIR of the multipath time-variant channel at time can be written in discrete time victor form:where is the number of the paths and channel paths have the significant multipath energy. The time delay of each path is . is the complex gain of the th path in time . And the superscript “” in (2) denotes transpose.

In mobile communication systems, the time-variance of the CIR taps is caused by the motion of the transmitter and/or receiver and is quantified by the maximum Doppler shift. When the number of multiple reflective paths is large and there is no line-of-sight signal component, the envelop of every tap of CIR can be statistically described by a Rayleigh probability density function, and the phases of each tap are uniformly distributed in . According to the property of the Rayleigh distribution, the real and imaginary components of each tap of CIR are independently and identically distributed (i.i.d.) zero mean Gaussian. As a result, the CIR at time and time can be represented as a first-order AR model [5] in the following form:where is the complex noise vector. Making , (3) can be written asThe real and imaginary components of each element of are zero mean i.i.d. Gaussian. The covariance matrix of is determined by the autocorrelation of . For the wide sense stationary uncorrelated scattering model [14, 15], the autocorrelation function of the multipath Rayleigh fading channel is [15]where the superscript “” denotes the conjugate transposition operation; is a normalization constant. is the zeroth-order Bessel function of the first kind. The maximum Doppler frequency shift in hertz is shown as follows:where is the relative speed between the transmitter and the receiver, is the emitted frequency, and denotes the speed of wave.

3. Interacting Multiple Model (IMM) Based Channel Estimation

Assuming that the coherence time of the channel is , to estimate the CIR, the same training sequences with the length of are sent every , where . The received signal of the th training sequence can be written in the form of matrix as follows:where vector, denotes the th received training signal after being sampled and can be defined as in (7) is the complex noise which distributes independently with zero means in both real and imaginary parts and covariance matrix . in (7) is the transmitted training signal matrix. Assuming that the transmitter sends the same training sequence every time, is a constant matrix which can be written aswhere the element denotes the training sequence.

Observing (4) and (7), it can be found that they are in the typical form of state-space model of a dynamic system. Equation (4) is the stochastic difference equation. is the vector to be estimated of the dynamic system. Vector is the process noise with zero mean and covariance which is denoted asEquation (7) is the measurement equation, where is the measurement of , measured by matrix and polluted by the measurement noise vector with covariance .

3.1. Kalman Filter (KF) Theory

Separating the real and image parts and , they can be written aswhere and are the real part and the image part of the complex value. Then (4) and (7) can be written aswhere is denoted as

The recursion of KF is given by the following equations.(1)The predicted mean and covariance matrix: (2)The predicted measurement, innovation covariance matrix, and Kalman gain:(3)The posterior mean (estimated value) and covariance matrix:where “” denotes the estimated value; the superscript “” of the time denotes the predicted value obtained from the estimated value in time ; is the covariance matrix of assuming that the mean of is .

From the equations of KF, it can be noticed that, to ensure the usability of KF, the covariance matrixes of process noise and measurement noise should be known. However, in real cases, they can only be calculated statistically rather than measured. In that case, noise covariance, say process noise, can be denoted asWith (17), KF can provide an accurate noise covariance when the noise covariance is constant.

3.2. IMM Based Channel Estimation

In hybrid systems, the dynamic parameter to be estimated varies in different modes. In this case, the IMM estimator is one of the best compromises available between complexity and performance, because of its low computational requirements and the accuracy which is almost the same as that of many other algorithms with much higher complexity [10]. As a powerful approach to adaptive estimation in dynamic hybrid systems, IMM estimator is functional of solving problems of structural and parametric changes [4, 11, 16].

In wireless communications, CIR varies randomly. In addition, the channel features, such as channel correlation, change from time to time. As a result, channel estimation can be achieved by applying IMM estimation method.

(1) Channel Correlation Identification. In mobile communications, the CIR varies with the speed reflected by the channel correlation, which is described in (5). On the one hand, the information of channel correlation is needed by the channel estimator to estimate the CIR accurately. On the other hand, channel correlation is important information for the upper layer of the adaptive communication networks to adapt the signal transmission scheme according to the channel feature. From the channel stochastic difference equation denoted by (4), the process noise vector reflects the change of the CIR. And , the covariance matrix of , reflects the channel correlation, which can be derived aswhere and are the correlation matrix and the covariance matrix of CIR and are defined as follows:The derivation of (18) is shown in Appendix A. Seen from (5), the gains of each tap are independent. In (18), is in the following form:In practice, can be obtained by using the estimated CIR. The elements of can be calculated by (5) and be written aswhere is the maximum Doppler frequency shift at time . As and are both diagonal matrixes, is also diagonal and can be denoted asSeen from (23), (22), and (6), is caused by the relative speed between the transmitter and the receiver and governs the channel correlation, which reflects the varying speed of the CIR.

As a result, both and can be identified by establishing multiple models on Doppler shift and conducting IMM estimation based on these models. Models are established by dividing into a series of values which are indexed by . When mode is in effect at time , the system mode is denoted aswhere is the set of all modal states. is the amount of models in . Making the set of all the measurements in (7) from the initial time to time , is denoted as The optimal estimation of in the MMSE sense is the expectation based on the posterior distribution. The estimated value of is given bywhere is the estimated value of based on model and is defined as is the posterior probability that model is affected at time and is given by

In (26), can be calculated by (22) using the value of in each model. Consequently, the problem of identification is reduced to the problem of calculating , which is solved in the following sections.

(2) Channel Estimation. Seen from the discussion above, multiple models are established on Doppler shift . The mode changes are governed by a Markov chain with the transition probability matrix , whose element is denoted asSeen from (29), is the transition probability from mode in time to mode in time and can be obtained statistically. The optimal estimation of CIR can be denoted aswhere is the estimated value of based on model and is defined as and are defined by (25) and (28). In optimal Bayes’ theorem,where is the likelihood function, is the normalization factor, and is the prediction model probability, which can be obtained byAs a result, can be described in the following form:Seen from (30) and (34), in optimal Bayes filters, every time CIR is estimated, the history of measurements is needed. The longer time that the estimator works for, the larger the amount of calculation is required. In view of this, by suboptimally approximating Bayes filter, fixed memory algorithms have been proposed [4, 17]. The generalized pseudo-Bayesian filter of order (GPB) approaches the optimal algorithm taking a memory history of steps into account. Hence, in channel estimation filters are needed in each time . IMM estimator performs as well as GPB2, with the lower computational requirements than GPB1. Thus the IMM algorithm has enjoyed remarkable success as one of the most cost-effective schemes for the estimation in hybrid systems.

The IMM channel estimator is recursive. Kalman filters, corresponding to each mode, run in parallel in each cycle, which consist of four steps: interacting/mixing, filtering, and combination. The structure of IMM channel estimator is also shown in Figure 2, where , , and are the estimated CIR by KF at time , its covariance, and its correlation; and are the mixed condition for KF at time and its covariance; , , and are the combined estimated CIR at time , its covariance, and its correlation; and are the predicted and posterior probabilities for KF ; is the likelihood function of KF . In each cycle, the estimated CIR and model probability are firstly interacted with each other and mixed for each mode under the assumption that this mode is in effect at the current time. Therefore the initial condition for each filter based on certain model is obtained. Secondly, the interacted/mixed initial conditions are sent to their particular model-based filters. In channel estimation, KFs based on different models are applied in the filtering step. The estimated CIRs and the updated model probabilities based on each model are obtained. After the filtering step, the outputs of each filter are combined as the final result at the current time. Seen from the upper description and Figure 2, as a weighting factor, the model probability is important to the interacting/mixing and combination steps. In IMM algorithm, the model probabilities are given bywhere is the normalization constant and denotes the probability of in the normal distribution with zero mean and the covariance of . and are the residual and its covariance at time for the model based KF and illustrated in the summary of IMM based channel estimator in Appendix B.

Figure 2: Structure of IMM channel estimation.
3.3. Discussions

The data format suitable for IMM based channel estimation algorithm on the basis of single carrier communication system is shown in Figure 3(a). Training sequences are sent frequently. The time interval between the two training sequences is , with the assumption that the channel correlation is big enough and the influence of CIR variance during can be omitted. In an adaptive communication system, , which reflects the speed of channel variance, can be used to adapt the transmitter. And can be adjusted according to the channel correlation to achieve better reliability. Moreover, with the help of software radio, adaptive communication can also change its method of communication, such as modulation and coding, with respect to the channel correlation.

Figure 3: Typical arrangement of training symbols.

From the previous analysis, although presented on the basis of single carrier communication systems, the IMM based channel estimation algorithm can also be applied in multiple carrier communication systems, such as OFDM systems in two ways, training mode and pilot mode, whose training symbols are arranged as in Figures 3(b) and 3(c). In training mode, training symbols are sent in all subcarriers at the same time; the IMM channel estimation is functional by setting the elements of matrix in (9) as the sampled signal at the receiver. In pilot mode training symbols are sent in some of the subcarriers with data symbols sent in other subcarriers at the same time. A multiple carrier communication is equivalent to the signal transmitted in parallel. Therefore, IMM based channel estimation can be applied separately in subcarriers with training symbols. In each subcarrier, the wireless channel can be seen as a Rayleigh flat fading channel. The CIR at each subcarrier can be estimated by IMM based channel estimation algorithm, and then these estimates are interpolated via different methods to obtain the general CIR.

4. Simulation Results and Performance Analysis

In this section, the performance of both KF and IMM based channel estimation algorithms is compared and analyzed based on simulation experiments in different conditions. The channel estimation algorithms are applied to a wireless system whose signal is modulated by 16-QAM with the carrier frequency 2.4 GHz and the symbol period s. The signals travel through a Rayleigh frequency flat fading channel, which is estimated every .

In the first case, the maximum Doppler frequency shift of the fading channel is a constant value Hz. The MSEs of the results from different algorithms are analyzed first. The MSE of an estimated parameter is calculated aswhere is the estimated value of at time . The MSEs of estimated channel amplitude and phase in different measurement noise levels are shown in Figures 4 and 5. Seen from the figures, it can be found that channel estimation based on IMM performs better than the KF estimator in MSE. The reason is that IMM estimator operates in one model with the model probability of 1, when is constant. The estimated value is more accurate than KF when the model is set precisely. A similar result can be found in BER which is shown in Figure 6. Figure 6 is the relation between BER and with different channel estimation algorithms applied in the receiver. It can be concluded that the channel estimation algorithm with better MSE performance can lead to a better BER performance.

Figure 4: MSEs of CIR amplitude with constant maximum Doppler frequency.
Figure 5: MSEs of CIR phase with constant maximum Doppler frequency.
Figure 6: Bit error rates with constant maximum Doppler frequency.

In the second case, the maximum Doppler shift switches between 100 Hz and 200 Hz every 150 ms. The IMM channel estimator is carried using two models (Hz, Hz) governed by the Markov chain transition matrix between models:

The channel correlation is analyzed first. Figure 7 shows the change of the real and estimated by different channel estimation algorithms without measurement noise presenting. Seen from the figure, KF cannot provide accurate . Equation (17) shows that the estimated processing noise covariance used in KF is an average of historical observed values. Since channel correlation is related to processing noise covariance, KF cannot track time-variant precisely. In contrast, based on IMM algorithm, the channel correlation can be estimated successfully as shown in Figure 7. The MSEs of real and estimated with different measurement noise levels are shown in Figure 8. Seen from Figures 7 and 8, IMM channel estimation algorithm can provide accurate channel correlation , which not only affects the performance of the channel estimation algorithm but is also important information for the adaptive communication system to adjust the system parameters. In contrast the KF based estimator fails to estimate the time-variant channel correlation.

Figure 7: Real and estimated channel correlations.
Figure 8: MSEs of channel correlation with time-variant maximum Doppler frequency.

The MSE of CIR is also analyzed in this case. The MSEs of amplitude and phase are shown in Figures 9 and 10. Similarly, as the previous case, with accurate estimated , IMM channel estimation performs better than KF based channel estimators. Contrasting with Figures 4 and 5 in the first case, the KF performs much worse when is time-variant, because a reliable time-variant cannot be obtained by KF. Consequently, the BER performances of the algorithms are affected by the accuracy of the estimated CIRs. Figure 11 shows the BERs in different measurement noise levels. It is the same as the pervious analysis that the IMM channel estimation algorithm performs better than the KF method in BER when changes in time.

Figure 9: MSEs of CIR amplitude with time-variant maximum Doppler frequency.
Figure 10: MSEs of CIR phase with time-variant maximum Doppler frequency.
Figure 11: Bit error rates with time-variant maximum Doppler frequency.

5. Summary and Conclusion

Correlation of a fading channel is important information for channel estimation. The performance of traditional channel estimation with the consideration of time-variance channel correlation is limited. In this paper, by modeling wireless fading channel as a hybrid dynamic system, the channel estimation algorithm based on IMM is presented. The proposed algorithm can identify the channel correlation with the help of the IMM algorithm. With accurate information of channel correlation, the proposed algorithm is capable of performing accurate estimation on the fading wireless channel with time-variant or time-invariant correlation. The results of a number of simulation experiments show that the proposed algorithm is efficient with good performance in estimating CIR as well as the channel correlation.


A. Derivation of the Process Noise Covariance

From (4), the following equation can be obtained:Calculating the expectation and taking (10) and (20) into the upper equation,The following equation can be obtained from (A.2):Taking (19) into (A.3), can be written asTaking (A.3) into (A.4), the covariance of the process noise can be written in the form

B. Summary of the IMM Based Channel Estimator

(1) Interaction/Mixing. For each model , we get the following.

Predicted model probability:

Mixing probability:

Mixing estimate:

Mixing covariance:where

(2) Kalman Filtering. For each model , we get the following.

Separating the real and image parts, we can write as

Predicted mean and covariance:where

Residual and Kalman gain:where is the Jacobian matrix of the measurement equation described by (13).

Update state and covariance matrix:where is defined aswhere is identity matrix. Likelihood function:

Model probability:

(3) Combination. Estimated state and covariance matrix:where

Estimated correlation matrix:

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.


This work was supported by the National Natural Science Foundation of China (Grant no. 61240007), Natural Science Foundation of Heilongjiang Province of China (Grant no. F201337), and Research Foundation of National Police University of China. The authors would like to thank Professor Richard Yu and Professor Geoffrey G. Messier for helpful discussions and useful suggestions.


  1. S. G. Kang, Y. M. Ha, and E. K. Joo, “A comparative investigation on channel estimation algorithms for OFDM in mobile communications,” IEEE Transactions on Broadcasting, vol. 49, no. 2, pp. 142–149, 2003. View at Publisher · View at Google Scholar · View at Scopus
  2. O. Edfors, M. Sandell, J.-J. D. Van Beek, S. K. Wilson, and P. O. Börjesson, “OFDM channel estimation by singular value decomposition,” IEEE Transactions on Communications, vol. 46, no. 7, pp. 931–939, 1998. View at Publisher · View at Google Scholar · View at Scopus
  3. M. Morelli and U. Mengali, “A comparison of pilot-aided channel estimation methods for OFDM systems,” IEEE Transactions on Signal Processing, vol. 49, no. 12, pp. 3065–3073, 2001. View at Publisher · View at Google Scholar · View at Scopus
  4. S. Challa, M. R. Morelande, D. Mušicki, and R. J. Evans, Fundamentals of Object Tracking, Cambridge University Press, Cambridge, UK, 2011. View at MathSciNet
  5. K.-Y. Han, S.-W. Lee, J.-S. Lim, and K.-M. Sung, “Channel estimation for OFDM with fast fading channels by modified Kalman filter,” IEEE Transactions on Consumer Electronics, vol. 50, no. 2, pp. 443–449, 2004. View at Publisher · View at Google Scholar · View at Scopus
  6. C. Komninakis, C. Fragouli, A. H. Sayed, and R. D. Wesel, “Multi-input multi-output fading channel tracking and equalization using Kalman estimation,” IEEE Transactions on Signal Processing, vol. 50, no. 5, pp. 1065–1076, 2002. View at Publisher · View at Google Scholar · View at Scopus
  7. A. Visakh and N. Upadhyay, “Channel estimation for OFDM systems using Kalman filter algorithm,” in Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief (ACWR '11), pp. 49–52, ACM, Kerala, India, December 2011. View at Publisher · View at Google Scholar · View at Scopus
  8. Y. Li, “Pilot-symbol-aided channel estimation for OFDM in wireless systems,” IEEE Transactions on Vehicular Technology, vol. 49, no. 4, pp. 1207–1215, 2000. View at Publisher · View at Google Scholar · View at Scopus
  9. Z. Tang, R. C. Cannizzaro, G. Leus, and P. Banelli, “Pilot-assisted time-varying channel estimation for OFDM systems,” IEEE Transactions on Signal Processing, vol. 55, no. 5, pp. 2226–2238, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  10. E. Mazor, A. Averbuch, Y. Bar-Shalom, and J. Dayan, “Interacting multiple model methods in target tracking: a survey,” IEEE Transactions on Aerospace and Electronic Systems, vol. 34, no. 1, pp. 103–123, 1998. View at Publisher · View at Google Scholar · View at Scopus
  11. X. R. Li and Y. Bar-Shalom, “A recursive multiple model approach to noise identification,” IEEE Transactions on Aerospace and Electronic Systems, vol. 30, no. 3, pp. 671–684, 1994. View at Publisher · View at Google Scholar · View at Scopus
  12. H. Wu and H. Ye, “State estimation for networked systems: an extended IMM algorithm,” International Journal of Systems Science, vol. 44, no. 7, pp. 1274–1289, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. C. Ramesh and V. Vaidehi, “IMM-based Kalman filter for channel estimation in UWB OFDM systems,” International Journal of Electronics and Communications, vol. 61, no. 8, pp. 509–514, 2007. View at Publisher · View at Google Scholar · View at Scopus
  14. P. Bello, “Characterization of randomly time-variant linear channels,” IEEE Transactions on Communications, vol. 11, no. 4, pp. 360–393, 1963. View at Publisher · View at Google Scholar
  15. Y.-S. Choi, P. J. Voltz, and F. A. Cassara, “On channel estimation and detection for multicarrier signals in fast and selective Rayleigh fading channels,” IEEE Transactions on Communications, vol. 49, no. 8, pp. 1375–1387, 2001. View at Publisher · View at Google Scholar · View at Scopus
  16. X. R. Li and V. P. Jilkov, “Survey of maneuvering target tracking. Part V. Multiple-model methods,” IEEE Transactions on Aerospace and Electronic Systems, vol. 41, no. 4, pp. 1255–1321, 2005. View at Publisher · View at Google Scholar · View at Scopus
  17. Y. Bar-Shalom and T. E. Fortmann, Tracking and Data Association, Academic Press, 1988. View at MathSciNet