Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium - Kerber, Manfred; Kohlhase, Michael (A.K. Peters, 2001)