automated problem solving mathematics