Yves Papegay - projet COPRIN - UR de Sophia Antipolis
MathML: enfin vraiment des mathématiques sur la toile
Baliser l’information
Structurer l’information
Séparer la présentation de la sémantique• analyse, recherche, présentation partielle, …
Technologie XML
On considère la droite d'équation <formule> y=a.x+b </formule>
<exercice matiere=‘ math ’ niveau=‘ 1ere annee ’>
<texte> Soit …</texte>
<correction> On considérera …</correction>
</exercice>
MathML: un exemple
Présentation Contenu
<mrow>
<mrow>
<msup>
<mi> x </mi> <mn> 2 </mn>
</msup> <mo> + </mo>
<mrow> <mn> 3 </mn>
<mo> ⁢ </mo>
<mi> x </mi>
</mrow> <mo> + </mo> <mi> 2 </mi>
</mrow>
<mo> = </mo> <mn> 0 </mn>
</mrow>
<mrow>
<apply> <eq/>
<apply> <plus/>
<apply> <power/>
<ci> x </ci> <cn> 2 </cn> </apply>
<apply> <times/>
<cn> 3 </cn> <ci> x </ci> </apply>
<cn> 2 </cn> </apply>
<cn> 0 </cn> </apply>
</mrow>
Plus d ’outils et d ’interopérabilité
Edition, calcul et visualisation• LaTeX, Scientific Word, MathType, WebEq, …
• Maple, Mathematica, Mupad, MathLab
• Internet Explorer, Netscape, …
Nouveaux outils• Indexation sémantique
• Bases de connaissances
• Bases d’exercices
Plus d’outils• logiciels libres
Quelques expériences
WebMathematica• interface web / mathematica
• http://www.wolfram.com/products/webmathematica/examples
• http://euler.ac-versailles.fr:8080/webMathematica/default.htm
WIMS• http://wims.unice.fr
JavaMath• construire des Mathlets
ECO: pré- et post-cours en ligne
Avant le cours : susciter la curiosité• cadre historique
• concept
• domaine d’applications
Apres le cours • approfondir, implanter, pratiquer
• s’exercer
Evaluer• génération d ’exercices
• corrections
Perspectives
Mettre en commun les exercices, travaux pratiques, cours, synthèses, …• sans plus d ’effort, d ’investissement « informatique »
• via le web
• indépendamment des outils et des logiciels
Donner accès aux outils de calculs• Web services
Faciliter la conservation et la recherche d ’information mathématique