Bernard Fotsing Talla ; Georges-Edouard Kouamou - Une approche formelle de description et de manipulation des objets structurés mathématiques

arima:1838 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 15 octobre 2005, Volume 3, numéro spécial CARI'04, novembre 2005 - https://doi.org/10.46298/arima.1838
Une approche formelle de description et de manipulation des objets structurés mathématiquesArticle

Auteurs : Bernard Fotsing Talla 1,2; Georges-Edouard Kouamou 3,4

  • 1 Département d'Informatique [Yaoundé]
  • 2 Département d'Informatique [Yaoundé I]
  • 3 Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
  • 4 Département de Génie Informatique [Yaoundé]

[en]
We present in this paper a formal approach of description, posting and handling of the mathematical structured objects; based on the formalism of attribute grammars. We are interested particularly in the problem of two-dimensional and bidirectional posting of certain expressions and mathematical formulas. Indeed, in more of the two-dimensional character that presents certain mathematical symbols like the square root or the matrix, we also note the problem of posting rightto-left of an Arab text in a context planned for a posting left-to-right of an Indo-European text, or a bidirectional posting mixing the two modes. After a study of some solutions suggested in the literature, we show how the method of attribute grammars adapts easily to these types of problem.

[fr]
Nous présentons dans ce papier une approche formelle de description, d'affichage et de manipulation des objets structurés mathématiques ; basée sur le formalisme des grammaires attribuées. Nous nous intéressons particulièrement au problème d'affichage bidimensionnel et bidirectionnel de certaines expressions et formules mathématiques. En effet, en plus du caractère bidimensionnel que présentent certains symboles comme la racine carrée ou la matrice, on note le problème d'affichage de droite à gauche d'un texte arabe dans un contexte prévu pour un affichage de gauche à droite d'un texte indo-européen, ou encore un affichage bidirectionnel mélangeant les deux modes. Après une étude de quelques méthodes proposées dans la littérature, nous montrons comment la méthode des grammaires attribuées s'adapte facilement à ces types de problèmes.


Volume : Volume 3, numéro spécial CARI'04, novembre 2005
Publié le : 15 octobre 2005
Soumis le : 12 avril 2005
Mots-clés : [INFO]Computer Science [cs], [MATH]Mathematics [math], [en] XML, DTD, MathML, Attribute grammars, incremental evaluation of attributes, mathematics formulas, man-machine interface; [fr] Grammaires attribuées, évaluation incrémentale des attributs, formules mathématiques, DTD, MathML, XML, interaction homme machine, CACEDE

Statistiques de consultation

Cette page a été consultée 579 fois.
Le PDF de cet article a été téléchargé 823 fois.