CALCULEMUS-2002 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning