Software Search For inter maths formulas