Interactive layout and handling of mathematical formulas in structured documents

Hanane Naciri 1 Laurence Rideau 1
1 LEMME - Software and mathematics
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Afficher des formules mathématiques et interagir avec ces formules sont des atouts primordiaux pour les outils informatiques dédiés aux mathématiques. Dans cet article, nous faisons un bilan des outils existants puis nous décrivons FIGUE, moteur d'affichage interactif incrémental et bidimensionnel, développé à l'INRIA, pour obtenir une bibliothèque dédiée au développement d'éditeurs de documents structurés et d'interfaces graphiques. Enfin nous montrons un exemple d'utilisation de FIGUE, dans le cadre du développement de preuves mathématiques sur ordinateur.
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2002, 1, pp.95-125
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01261698
Contributeur : Coordination Episciences Iam <>
Soumis le : lundi 25 janvier 2016 - 17:11:41
Dernière modification le : samedi 27 janvier 2018 - 01:30:58
Document(s) archivé(s) le : mardi 26 avril 2016 - 11:32:14

Fichier

arima00105.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01261698, version 1

Collections

Citation

Hanane Naciri, Laurence Rideau. Interactive layout and handling of mathematical formulas in structured documents. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2002, 1, pp.95-125. 〈hal-01261698〉

Partager

Métriques

Consultations de la notice

142

Téléchargements de fichiers

312