Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01261710
Contributor : Coordination Episciences Iam <>
Submitted on : Monday, January 25, 2016 - 5:13:22 PM
Last modification on : Tuesday, January 19, 2021 - 9:04:06 AM

File

CARI04_04.pdf
Explicit agreement for this submission

Identifiers

  • 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⟩

Share

Metrics

Record views

242

Files downloads

1431