Mathematical problem-solving assistant with educational explanations.