Un système de reconnaissance d'expressions mathématiques dirigé par la syntaxe, comprenant : une unité d'expression mathématique manuscrite en-ligne destinée à recevoir des expressions mathématiques manuscrites en-ligne comprenant des traits de symboles mathématiques et des textes connexes des expressions mathématiques afin d'obtenir les coordonnées des points des traits et les codes de programme correspondant à l'expression mathématique manuscrite en-ligne ; les coordonnées des points des traits et les codes de programme étant formés en tant qu'échantillons manuscrits en-ligne, l'unité d'expression mathématique manuscrite en-ligne comprend une base de données en-ligne permettant de stocker un grand nombre d'échantillons manuscrits en-ligne utilisables pour l'entraînement des réseaux neuronaux ; une unité d'expression mathématique manuscrite et imprimée hors ligne pour recevoir les expressions mathématiques manuscrites et imprimées hors ligne avec des codes de programme prédéfinis, les expressions mathématiques manuscrites et imprimées hors ligne et les codes de programme correspondants formant des échantillons d'expressions mathématiques manuscrites et imprimées hors ligne qui sont stockés dans une base de données hors ligne ; un générateur d'expressions mathématiques structurées pour générer des expressions mathématiques structurées ; le générateur d'expressions mathématiques comprend un corpus et une base de données de grammaire mathématique ; le générateur d'expressions mathématiques structurées recueille un grand nombre de codes de programme d'expressions mathématiques qui sont ensuite stockés dans le corpus ; la base de données de grammaire mathématique stocke des grammaires et des règles de langages de programmes mathématiques spécifiques, le générateur d'expressions mathématiques structurées générant un grand nombre d'expressions mathématiques structurées en utilisant les codes de programme des expressions mathématiques dans le corpus sur la base des grammaires et des règles de la base de données de grammaire mathématique ; et un générateur d'échantillons d'écriture connecté à l'unité d'expression mathématique manuscrite en-ligne, à l'unité d'expression mathématique manuscrite et imprimée hors ligne et au générateur d'expression mathématique structurée ; le générateur d'échantillons d'écriture sert à générer une grande quantité d'échantillons d'écriture d'expressions mathématiques pour les expressions mathématiques dans l'unité d'expression mathématique manuscrite en-ligne, l'unité d'expression mathématique manuscrite et imprimée hors ligne et le générateur d'expression mathématique structurée, en vue de leur utilisation pour l'entraînement du réseau neuronal ; et un réseau neuronal de reconnaissance d'expressions mathématiques comprenant une interface d'entrée et une interface de sortie ; l'interface d'entrée comprend plusieurs terminaux d'entrée et l'interface de sortie comprend plusieurs terminaux de sortie, l'interface d'entrée étant connectée au générateur d'échantillons d'écriture pour recevoir les échantillons d'écriture d'expression mathématique ; l'interface de sortie sert à recevoir les codes de programme correspondant aux échantillons d'écriture manuscrite d'expression mathématique introduits dans l'interface d'entrée ; et dans la phase de prédiction, les coordonnées des points des traits d'une expression mathématique sont introduites dans l'interface d'entrée du réseau neuronal de reconnaissance mathématique pour la reconnaissance ; l'interface de sortie du réseau neuronal produit au moins un code de programme correspondant à l'expression mathématique d'entrée. The Le système selon la revendication 1, dans lequel les moyens de générer un échantillon d'écriture manuscrite d'expression mathématique sont les suivants : (a) les coordonnées des points des traits et les codes de programme des expressions mathématiques manuscrites en-ligne dans les échantillons manuscrits en-ligne sont directement formés en tant qu'échantillons d'écriture manuscrite d'expressions mathématiques correspondantes ; (b) obtenir les traits des expressions mathématiques manuscrites et imprimées hors ligne dans les échantillons d'expressions mathématiques manuscrites et imprimées hors ligne afin d'acquérir les coordonnées des points des traits des expressions mathématiques manuscrites et imprimées hors ligne ; ces coordonnées et les codes de programme prédéfinis pour les expressions mathématiques manuscrites et imprimées hors ligne constituent des échantillons d'écriture manuscrite d'expressions mathématiques correspondantes ; (c) l'acquisition d'échantillons d'écriture d'expressions mathématiques 42 pour les expressions mathématiques structurées dans le générateur d'expressions mathématiques structurées se fait de la manière suivante : (1) les expressions mathématiques structurées sont converties ou rendues sous forme d'expressions mathématiques imprimées, et pour chaque symbole mathématique de l'expression mathématique imprimée, un cadre rectangulaire minimal contenant juste un symbole mathématique correspondant est acquis ; (2) les expressions mathématiques imprimées sont divisées en plusieurs sous-expressions mathématiques qui peuvent trouver des expressions mathématiques identiques dans les échantillons d'expressions mathématiques manuscrites en ligne ; si les sous-expressions mathématiques ne trouvent pas d'expressions mathématiques correspondantes dans les exemples d'expressions mathématiques manuscrites en ligne, ces sous-expressions mathématiques ne sont pas utilisées dans les processus suivants ; le cadre rectangulaire minimum pour chaque symbole mathématique est ajusté ; (3) pour trouver les coordonnées des points des traits dans les échantillons d'expressions mathématiques manuscrites en ligne qui correspondent aux traits de chaque symbole dans les sous-expressions mathématiques ; une transformation affine est ensuite effectuée sur les coordonnées des traits trouvées ci-dessus afin d'obtenir les coordonnées transformées des points des traits de chaque symbole et les codes de programme de l'expression mathématique structurée, qui sont combinés en tant qu'échantillon d'écriture manuscrite d'expression mathématique ; (4) l'échantillon d'écriture manuscrite d'expression mathématique est tourné de manière aléatoire ou sa taille est modifiée de manière aléatoire afin de générer de plus en plus d'échantillons d'écriture manuscrite d'expression mathématique. Le système selon la revendication 1, dans lequel le réseau neuronal de reconnaissance mathématique comprend un réseau neuronal d'encodage qui inclut l'interface d'entrée ; et un réseau neuronal de décodage qui comprend l'interface de sortie ; le réseau neuronal d'encodage sert à trouver les caractéristiques de l'expression mathématique d'entrée, puis ces caractéristiques sont introduites dans le réseau neuronal de décodage ; la sortie du réseau neuronal de décodage comprend des parties de codes de programme de l'expression mathématique d'entrée qui sont indiquées avec une fiabilité statistique ; ces parties des codes de programme et les critères de fiabilité sont régressés automatiquement vers l'entrée du réseau neuronal de décodage pour une nouvelle reconnaissance afin d'acquérir d'autres parties du code de programme et d'autres critères de fiabilité ; ces processus peuvent être exécutés à plusieurs reprises jusqu'à ce que la fiabilité prédéfinie soit atteinte ou qu'un temps prédéfini soit atteint pour l'auto-régression ; les codes de programme finaux et la fiabilité qui en résultent sont stockés dans une unité candidate. Le système selon la revendication 3, dans lequel la méthode d'auto-régression est une méthode d'analyse de prédiction utilisant des grammaires dites LL (1). Le système selon la revendication 1, dans lequel, dans l'unité d'expression mathématique manuscrite en-ligne, les expressions sous-mathématiques sont extraites des expressions mathématiques manuscrites en-ligne originales pour former des expressions mathématiques indépendantes, une expression sous-mathématique faisant partie de l'expression mathématique manuscrite en-ligne originale ; les coordonnées des traits et les codes de programme des expressions sous-mathématiques sont également extraits de manière à former des échantillons manuscrits en-ligne qui sont ensuite stockés dans la base de données en-ligne. Le système selon la revendication 1, dans lequel le langage de programmation mathématique est dit langage LaTeX ou dit langage MathML (Mathematical Markup Language). Le système selon la revendication 1, dans lequel les coordonnées des points des traits de l'échantillon manuscrit en ligne sont stockées par dit InkML (Ink Markup Language). Le système selon la revendication 1, dans lequel l'expression mathématique manuscrite et imprimée hors ligne est constituée de figures bidimensionnelles et les codes de programme sont stockés dans un langage de balisage. Le système selon la revendication 1, dans lequel la base de données de grammaire mathématique stocke les règles syntaxiques de langages de programmation mathématique spécifiques qui sont des grammaires hors contexte stochastiques. Le système selon la revendication 1, dans lequel la grammaire hors contexte stochastique décrit des grammaires de codes de programmes d'expressions mathématiques pour les langages de programmes dits LaTeX ou MathML.