Une approche formelle de description et de manipulation des objets structurés mathématiques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Année : 2005

A Formal Approach to the Description and Manipulation of Structured Mathematical Objects

Une approche formelle de description et de manipulation des objets structurés mathématiques

Résumé

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.
Fichier principal
Vignette du fichier
CARI04_04.pdf (884.69 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-01261710 , version 1 (25-01-2016)

Identifiants

Citer

Bernard Fotsing Talla, Georges-Edouard Kouamou. Une approche formelle de description et de manipulation des objets structurés mathématiques. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2005, Volume 3, Special Issue CARI'04, november 2005, pp.71-86. ⟨10.46298/arima.1838⟩. ⟨hal-01261710⟩

Collections

AFRIQ INRIA LIRIMA
138 Consultations
1078 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More