Publications



Journal

  • Hanane Naciri et Laurence Rideau, " Affichage et manipulation interactive de formules mathématiques dans les documents structurés " . Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ARIMA, A paraître dans le numéro 1 en début 2003 consacré à une sélection de six articles prolongeant des communications du colloque CARI2000.

    • International conferences

  • Hanane Naciri et Laurence Rideau, " Formal Mathematical Proof Explanations in Natural Language Using MathML: An Application to Proofs in Arabic ", MathML International Conference 2002, Chicago (États-Unis), Juin 2002.
    • http://www.mathmlconference.org/2002/presenttations/naciri

  • Hanane Naciri et Laurence Rideau, " FIGUE: Mathematical Formula Layout with Interaction and MathML Support ", the Fifth Asian Symposium on Computer Mathematics ASCM'2001, Matsuyama (Japan), Septembre 2001.( ps version)


  • Hanane Naciri et Laurence Rideau, " Affichage et diffusion sur Internet d'explications en langue arabe de preuves mathématiques ", CARI'2002, 6ème Colloque Africain sur la Recherche en Informatique, Yaoundé (Cameroun), Octobre 2002.


  • Hanane Naciri et Laurence Rideau, " Affichage interactif, bidimensionnel et incrémental de formules mathématiques ". CARI'2000 5ème Colloque Africain sur la Recherche en Informatique, Antananarivo(Madagascar), Octobre 2000.


    • International Workshop

  • Hanane Naciri et Laurence Rideau, " The Mariage of MathML and Theorem Proving ", IAMC'2001 Workshop on Internet Accessible Mathematical Computation, en connexion avec ISSAC'2001, London Ontario (Canada), Juillet 2001.
    • http://icm.mcs.kent.edu/research/iamc2001.papers/naciri.ps.gz

    Poster

  • Hanane Naciri, " Conception et réalisation d'outils pour l'interaction homme machine dans les environnements de démonstrations mathématiques ", JED'2000 Journée Ecrit et Document Spéciale Jeunes Chercheurs, Lyon(France), Juillet 2000.


    • Technical Reports

  • Hanane Naciri, "Conception et réalisation d'outils pour l'interaction homme machine dans les environnements de démonstrations mathématiques ", mémoire de thèse , Décembre 2002. ( ps version,pdf version)


  • Hanane Naciri et Laurence Rideau, " Affichage et manipulation interactive de formules mathématiques dans les documents structurés ", Rapport de recherche INRIA RR-4140, Janvier 2001. ( http://www-sop.inria.fr/rapports/sophia/RR-4140.html)


  • Christèle Faure, James Davenport et Hanane Naciri, " Multi-valued Results in Computer Algebra ", Rapport de recherche INRIA RR-4001, Juillet 2000. (http://www-sop.inria.fr/rapports/sophia/RR-4001.html )


  • Hanane Naciri, " Simplification des Entiers Symboliques Conditionnels ", mémoire de DEA Informatique à l'université de Nice Sophia Antipolis, Juillet 1999.


  • Hanane Naciri, " Conception et développement d'une bibliothèque de Génération de code Fortran 90 dans Maple Macrofort90 ", mémoire de stage de fin d?études ingénieurs à l?INRIA sophia Antipolis.




    • Hanane Naciri
    2003-01-09