• Home
  • Search
  • Optical Recognition of Handwritten Logic Formulas Using Neural Networks
  • Cite Icon1
  • https://doi.org/10.3390/electronics10222761Copy DOI Icon

Optical Recognition of Handwritten Logic Formulas Using Neural Networks

Show More
  • Abstract
  • Highlights & Summary
  • PDF
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

In this paper, we present a handwritten character recognition (HCR) system that aims to recognize first-order logic handwritten formulas and create editable text files of the recognized formulas. Dense feedforward neural networks (NNs) are utilized, and their performance is examined under various training conditions and methods. More specifically, after three training algorithms (backpropagation, resilient propagation and stochastic gradient descent) had been tested, we created and trained an NN with the stochastic gradient descent algorithm, optimized by the Adam update rule, which was proved to be the best, using a trainset of 16,750 handwritten image samples of 28 × 28 each and a testset of 7947 samples. The final accuracy achieved is 90.13%. The general methodology followed consists of two stages: the image processing and the NN design and training. Finally, an application has been created that implements the methodology and automatically recognizes handwritten logic formulas. An interesting feature of the application is that it allows for creating new, user-oriented training sets and parameter settings, and thus new NN models.

Loading PDF

Similar Papers
  • Research Article

Machine learning methods for pricing financial derivatives

  • Feb 24, 2026
  • Quantitative Finance
  • Lei Fan +1
  • Research Article
  • Citations5

Speed and accuracy investigations of neural network algorithms for ionospheric modelling at an equatorial region

  • Oct 05, 2024
  • Journal of Atmospheric and Solar-Terrestrial Physics
  • Sani Abubakar +3
  • PDF
  • Research Article
  • Citations44

Handwriting Recognition using Artificial Intelligence Neural Network and Image Processing

  • Jan 01, 2020
  • International Journal of Advanced Computer Science and Applications
  • Sara Aqab +1
  • Research Article
  • Citations8

A convergence analysis of the perturbed compositional gradient flow: Averaging principle and normal deviations

  • Jan 01, 2018
  • Discrete & Continuous Dynamical Systems - A
  • Wenqing Hu +1
  • Conference Article
  • Citations1330

Solving large scale linear prediction problems using stochastic gradient descent algorithms

  • Jan 01, 2004
  • Tong Zhang
  • Research Article
  • Citations2

A generalized net model of the stochastic gradient descent and dropout algorithm with intuitionistic fuzzy evaluations

  • Dec 01, 2020
  • Notes on Intuitionistic Fuzzy Sets
  • Plamena Yovcheva +1
  • PDF
  • Research Article
  • Citations3

A fast parallel tensor decomposition with optimal stochastic gradient descent: an application in structural damage identification

  • Jun 23, 2023
  • International Journal of Data Science and Analytics
  • Ali Anaissi +3
  • Research Article
  • Citations4

Selection of Network Parameters in Direct ANN Modeling of Roughness Obtained in FFF Processes

  • Jan 06, 2025
  • Polymers
  • Irene Buj-Corral +3
  • Research Article
  • Citations17

A Semi-Supervised Predictive Sparse Decomposition Based on Task-Driven Dictionary Learning

  • Nov 18, 2016
  • Cognitive Computation
  • Le Lv +2
  • Research Article
  • Citations16

Training Algorithm Performance for Image Classification by Neural Networks

  • Aug 01, 2010
  • Photogrammetric Engineering & Remote Sensing
  • Libin Zhou +1
  • Conference Article
  • Citations8

Differential Privacy Stochastic Gradient Descent with Adaptive Privacy Budget Allocation

  • Jan 15, 2021
  • Yun Xie +3
  • PDF
  • Research Article
  • Citations6

Performance comparison of neural network training methods based on wavelet packet transform for classification of five mental tasks

  • Jan 01, 2010
  • Journal of Biomedical Science and Engineering
  • Vijay Khare +3
  • Conference Article
  • Citations11

Small Batch or Large Batch?

  • Aug 13, 2017
  • Peifeng Yin +2
  • Conference Article
  • Citations3

Using neural network classifier in post-processing system for handwritten Chinese character recognition

  • Oct 07, 2001
  • Ruifeng Xu +2
  • Research Article
  • Citations8

Study of broiler chicken responses to dietary protein and lysine using neural network and response surface models

  • Aug 01, 2013
  • British Poultry Science
  • A Faridi +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.