Conception et réalisation d'outils pour l'interaction homme machine dans les environnements de démonstrations mathématiques

par Hanane Naciri

Thèse de doctorat en Informatique

Sous la direction de Laurence Rideau.

Soutenue en 2002

à Nice .


  • Pas de résumé disponible.

  • Titre traduit

    Developing tools dedicated to man-machine interface in mathematics proof environments


  • Pas de résumé disponible.


  • Résumé

    Afficher du texte mathématique et interagir avec les formules sont des atouts primordiaux pour les outils dédiés aux mathématiques. Dans ce but, nous avons étendu FIGUE, moteur d'affichage interactif, incrémental et bidimensionnel, pour présenter et manipuler des documents mathématiques, en particulier des preuves. Des problèmes particuliers proviennent de la structure complexe et bidimensionnelle des formules mathématiques. Pour nous conformer aux technologies Web dans les environnements de preuves, nous avons adapté nos outils au standard MathML. Enfin nous avons étudié l'affichage des formules mathématiques dans différents systèmes d'écriture. Dans le cas de l'arabe, les formules peuvent être écrites dans le sens inverse du texte impliquant un mélange de direction. Nous proposons une approche générale pour manipuler les formules mathématiques dans un contexte bidirectionnel. Ce travail a aussi servi à définir l'usage de la norme MathML dans un contexte bidirectionnel.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 146 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 119-124

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : 02NICE5755bis
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 02NICE5755
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.