Anita Jindal

  • Citations Per Year
Learn More
  • Manisha Bharambe, Ahmad Moritaser Awal, +20 authors Renu
  • 2016
Mathematical expression recognition is an active research field and it becomes a challenging problem in the field of Optical character recognition. The fundamental problem of mathematical expression recognition system is the Off-line Printed expression recognition. One of the difficulties of handwritten mathematical symbol recognition lies in the(More)
We describe a scheme for parallelizing first-order logic deduction systems. This scheme has been successfully used for parallelizing OTTER, which is a sequential deduction system developed at Argonne National Laboratory. This parallel deduction system, called PARRallel OTter-II (PARROT-II) has attained real speedups in excess of 20 over the best results of(More)
  • 1