Hello Everyone, We are trying to develop a web based tool in which user will feed some mathematical step (which is a part of complete solution of some problem) and tool will decide is that is a valid step from pre-defined solution of problem. Main focus is to suggest user if his approach/solution/step is in right direction. We will be having all steps present in database (in latex or some other language). I am completely new to Wolfram so please accept my apologies if I asked some silly question.