This project focused on creating software to verify the accuracy of handwritten mathematical notations using Artificial Intelligence and Computer Algebra System. Utilizing Optical Character Recognition technology and Computer Algebra System, the software can recognize, digitize, and check mathematical expressions for errors. It was implemented using Python and multiple technologies, such as Sympy and Tesseract Optical Character Recognition, offering broad applications …