thesis

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

Defense date:

Jan. 1, 2002

Edit

Institution:

Nice

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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.