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...