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
NULL##NULL
Bernard Fotsing Talla;Georges-Edouard Kouamou
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.