khanmhmdi/SymbolicMathematics- not found