Skip to main contentSkip to search
Episciences
Open Access Journals
|Sign in(new window)
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées
|Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSpecial issuesAuthors
About
The journalIndexingNewsStatistics
Boards
Publish
For authorsEthical charterFor reviewersProposing special issues
Submit
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Contact
|
Credits
eISSN 1638-5713
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. Une approche formell ...
Article

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

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é]
Download article
Open on HAL
Imported on
April 11, 2005
Published on
October 14, 2005
Last modified on
March 31, 2025
Special issue 3
Volume 3, Special Issue CARI'04, november 2005
DOI
10.46298/arima.1838
License
https://about.hal.science/hal-authorisation-v1
Indicators
812
Views
1108
Downloads

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

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é]
Abstract
English
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.
French
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.
Keywords
English
  • [INFO]Computer Science [cs]
  • [MATH]Mathematics [math]
  • XML
  • DTD
  • MathML
  • Attribute grammars
  • incremental evaluation of attributes
  • mathematics formulas
  • man-machine interface
French
  • Grammaires attribuées
  • évaluation incrémentale des attributs
  • formules mathématiques
  • DTD
  • MathML
  • XML
  • interaction homme machine
  • CACEDE
Preview
Loading PDF preview...