A method for knowledge representation to design Intelligent Problems Solver in mathematics based on Rela-Ops model