A Formal Approach to the Description and Manipulation of Structured Mathematical Objects
| Autor: | Fotsing Talla, Bernard, Kouamou, Georges-Edouard |
|---|---|
| Přispěvatelé: | Département d'Informatique [Yaoundé], Faculté des Sciences - Yaoundé I, Université de Yaoundé I-Université de Yaoundé I, Laboratoire International de Recherche en Informatique et Mathématiques Appliquées (LIRIMA), Centre National de la Recherche Scientifique et Technologique (CNRST)-Université Gaston Bergé Sénégal-Université d'Antananarivo-Université Joseph Ki-Zerbo [Ouagadougou] (UJZK)-Université Badji Mokhtar - Annaba [Annaba] (UBMA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Yaoundé I, Département de Génie Informatique [Yaoundé], Ecole Nationale Supérieure Polytechnique de Yaoundé (ENSPY) |
| Jazyk: | francouzština |
| Rok vydání: | 2005 |
| Předmět: | |
| Zdroj: | Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2005, 3, pp.71-86 |
| ISSN: | 1638-5713 |
| Popis: | International audience; 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.; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|