1. Yang L, Xia B C. Automated Proving and Discovering for Inequalities (Series in Mathematical Mechanization)(in Chinese). Beijing: Science Press, 2008
2. Chow Y S, Teicher H. Probability Theory. New York: Springer, 1978
3. Corduneanu C. Integral Equations and Stability of Feedback Systems. London and New York: Springer-Verlag, 1973
4. Courant R, Hilbert D. Methods of Mathematical Physics. New York: Interscience Publishing Company, 1953
5. Liptser R S, Shiryayev A N. Stastistics of Random Processes. New York: Springer, 1977