Math´ematiqueset web Braise D´emonstration Braise, web et math´ematiques Fran¸coisDagorn IFSIC / Universit´ede Rennes 1 Novembre 2008 Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Probl`eme Les documents existent et sont r´edig´es en LATEX Pour publier sur le web, il faut produire des documents HTML XHTML + MathML XHTML + jsMath PDF ... Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Des traducteurs Des outils de conversion existent car LATEX est un langage structur´eassez proche d’un langage `abalise : Example \begin{itemize} <ul> \item bla bla ............ <li>bla bla ...........</li> \item bla bla ............ <li>bla bla ...........</li> \end{itemize} </ul> Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Deux types de traducteurs On trouve deux types de traducteurs : code sp´ecifique qui analyse le texte source et effectue des traductions cabl´ees (LaTeX2HTML, HEVEA, ...) ; instrumentalisation de LATEX pour le d´evier de son fonctionnement naturel (TeX4ht, lXir). Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht TeX4ht Tex4ht est connu depuis 1998 : Eitan Gurari Ohio State University http://www.cse.ohio-state.edu/∼gurari/TeX4ht/mn.html Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Comment fonctionne TeX4ht Une compilation LATEX s’effectue de la mani`ere suivante : latex → tex → dvi → pdf Example 1 A x en LTEX→ \frac{1}{x} 1 x en TEX→ {1 \over x} LATEX→ TEX: \def\frac #1#2 {#1 \over #2} (dans un fichier de definition) LATEX→ MathML : \def\frac #1#2 {<mfrac><mrow>#1</mrow><mrow>#2</mrow></mfrac>} Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Les avantages de TeX4ht Le moteur ne change pas, c’est LATEX qui effectue l’analyse du texte source ; Il suffit de r´e´ecrireles d´efinitions et leurs traductions. Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht Une traduction avec TeX4ht Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Probl`eme Braise Des traducteurs D´emonstration TeX4ht TeX4ht ouvre LATEX HTML ou XHTML avec images PNG pour les expressions math´ematiques XHTML + MathML XHTML + JSMath OpenDocument (+ MathML) DocBook (+ MathML) Text Encoding Initiative (TEI) Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Les principes de Braise enseignants en math´ematiques → LATEX cr´eation d’une chaˆıne´editoriale d´edi´ee `ala production d’exercices de math´ematiques → XML LATEX comme format pivot → tex4ht Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients La base d’exercices Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients atomisation d’un exercice Les atomes d’un exercice (´enonc´e, titre, `aretenir, aides, ...) sont traduits s´epar´ement (par tex4ht) dans les dialectes retenus : HTML + images PNG XHTML + MathML DocBook + images PNG (PraticeUC d’Unisciel) DocBook + MathML Le r´esultatde la traduction est stock´edans un r´epertoire et sert de base de donn´eespour l’interface ´etudiant (la face visible de Braise). Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Exploitation de la traduction enonce.tex → enonce.html (version HTML) enonce.tex → enonce.xml (version XHTML + MathML) Example $enonce =∼ s/(.*)<body>(.*)< \body>(.*)/$2/ Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Le r´epertoire de la traduction Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients L’acc`es`aun exercice requˆete d’un navigateur ⇓ s´election d’un exercice dans la base (parse Exos.xml) ⇓ constitution d’un flux XML contenant tout ce qui doit ˆetre montr´e (on picore les bouts d’exercices au format d´esir´e,les navigateurs MathML sont automatiquement d´etect´es). ⇓ XSLT ⇓ navigateur Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Mettre `ajour un exercice mettre `ajour la structure Exos.xml (interface web d´edi´ee) ; traduire l’exercice modifi´e; produire un document PDF comprenant tous les exercices d’un chapitre. Fran¸cois Dagorn Braise, web et math´ematiques Les principes de Braise Math´ematiqueset web LATEX comme format pivot Braise L’interface ´etudiant D´emonstration L’interface enseignant Les ingr´edients Les ingr´edients LATEX tex4ht libxslt (du projet Gnome) Perl Fran¸cois Dagorn Braise, web et math´ematiques Math´ematiqueset web Braise D´emonstration Fran¸cois Dagorn Braise, web et math´ematiques.