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

Résumé : 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.
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2005, 3, pp.71-86
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01261710
Contributeur : Coordination Episciences Iam <>
Soumis le : lundi 25 janvier 2016 - 17:13:22
Dernière modification le : mardi 24 avril 2018 - 13:33:29

Fichier

CARI04_04.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-01261710, version 1

Collections

Citation

Bernard Fotsing Talla, Georges-Edouard Kouamou. Une approche formelle de description et de manipulation des objets structurés mathématiques. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2005, 3, pp.71-86. 〈hal-01261710〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

221