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 in scientific research and technology development. The received resulting project introduces a new way to facilitate solving complex mathematical problems, eliminating the need to search for errors manually. Future plans include Artificial Intelligence enhancements and application extensions for mobile and web versions.