Bernard Fotsing Talla ; Georges-Edouard Kouamou - A Formal Approach to the Description and Manipulation of Structured Mathematical Objects

arima:1838 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, October 15, 2005, Volume 3, Special Issue CARI'04, november 2005 - https://doi.org/10.46298/arima.1838
A Formal Approach to the Description and Manipulation of Structured Mathematical Objects Article

Authors: 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, Special Issue CARI'04, november 2005
Published on: October 15, 2005
Imported on: April 12, 2005
Keywords: [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

Consultation statistics

This page has been seen 707 times.
This article's PDF has been downloaded 936 times.