Software Search For pdf formula mathematics