Domain-specific knowledge representation and inference engine for an intelligent tutoring system
Keywords: جبر; Intelligent tutoring system; Problem solving; Algebra; Knowledge representation; Hypergraph