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é]

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.


Volume: Volume 3, Special Issue CARI'04, november 2005
Published on: October 15, 2005
Submitted on: April 12, 2005
Keywords: XML, DTD, MathML,Attribute grammars, incremental evaluation of attributes, mathematics formulas, man-machine interface,Grammaires attribuées,évaluation incrémentale des attributs,formules mathématiques,DTD,MathML,XML,interaction homme machine,CACEDE,[INFO] Computer Science [cs],[MATH] Mathematics [math]

Consultation statistics

This page has been seen 314 times.
This article's PDF has been downloaded 531 times.