Karsten Homann Abstract
An approach to integrate explanation-based learning into computer algebra systems is given. Schemata are learned by generalizing explanations of a teacher and by generalizing numbers. We outline the architecture of an intelligent environment for learning mathematics and its advantages. A unified treatment of mathematical rules and of schemata of an application leads to increased problem solving capabilities.