1. Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B., Monagan, M.B., Watt, S.M.: Maple V: Language Reference Manual. Springer, Heidelberg (1991)
2. Fateman, R.: Manipulation of matrices symbolically (January 9 2003), Available from http://http.cs.berkeley.edu/~fateman/papers/symmat2.pdf
3. Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, Heidelberg (1990)
4. Heck, A.: Maple Manuals, 3rd edn. Springer, Heidelberg (2003)
5. Horn, R., Johnson, C.: Matrix Analysis. Cambridge University Press, Cambridge (1990)