Laurence RIDEAU

[French]
  • Organisation: INRIA
  • Research Unit: Sophia Antipolis
  • Project: LEMME
  • Phone : +33 04 92 38 78 04
  • Fax : +33 04 92 38 76 33
  • E-mail:(my first name).(my name)@inria.fr

    •  

     

    Research Interests

    Administrative Experience

    Development and Industrial Relationship Manager (CDRI.) for the INRIA Sophia-Antipolis Research Center from 1995 to 2000 (february).

    References

    L.Rideau, B.P. Serpette
    Coq à la conquête des moulins, JFLA'2005, Obernai, France, 9-10 Mars 2005

    Ph. Audebaud, L.Rideau
    TeXmacs as Authoring Tool for Publication and Dissemination of Formal Developments, UITP'2003, Roma, Italy, 8 Sep 2003,also ENTCS volume 103, 2004

    H.Naciri, L.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,14-17 Oct, 2002

    H.Naciri, L.Rideau.
    Formal Mathematical Proof Explanations in Natural Language Using MathML: An Application to Proofs in Arabic,
    MathML International Conference 2002, Chicago,USA, June 28-30, 2002

    H.Naciri, L.Rideau.
    FIGUE: Mathematical Formula Layout with Interaction and MathML Support.,
    The Fifth Asian Symposium on Computer Mathematics ASCM'2001, Matsuyama, Japan, September 26-28, 2001.
    ASCM'2001 Page Web

    Marc Daumas, Laurence Rideau, and Laurent Théry,
    `` A Generic Library for Floating-Point Numbers and Its Application to exact Computing.'', Proceedings of TPHOLs'2001, LNCS 2152, 2001.

    H.Naciri, L.Rideau.
    The Mariage of MathML and Theorem Proving.
    IAMC'2001 Workshop,London Ontario, Canada, Juillet 2001.
    IAMC'2001 Proceedings

    Ahmed Amerkad, Yves Bertot, Laurence Rideau, and Loïc Pottier.
    Mathematics and proof presentation in Pcoq.
    PTP'01 Workshop, Siena, Italy, June 2001.

    H.Naciri, L.Rideau.
    Affichage et manipulation interactive de formules mathématiques dans les documents structurés.
    Rapport de recherche INRIA RR-4140, Janvier 2001 (accepté pour publication dans la revue ARIMA, Decembre 2002).

    Hanane Naciri and Laurence Rideau,
    ``Affichage interactif, bidimensionnel et incrémental de formules mathématiques.'',
    Proceedings of the 5th African Conference on Research in Computer Science, p. 473-480, CARI'2000, ANTANANARIVO (Madagascar), 16-19 october 2000.

    Olivier Pons, Yves bertot and Laurence Rideau,
    "Notions of dependency in proof assistants",
    In User Interfaces for Theorem Provers 1998, Eindhoven University of Technology.

    Laurence Rideau and Laurent Théry,
    ``Interactive Programming Environment for ML'',
    Research Report INRIA 3139, March 1997.

    P. Asar, (generic name for the Project ASAR, including L. Rideau),
    ``Framework and Multi-Formalism: The ASAR Project'',
    The Fourth International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brazil), November 1994.

    A.-M. Déry and L. Rideau,
    ``Distributed programming environments: an example of a message protocol'',
    Inria Technical Report no. 165, August 1994.

    I. Jacobs and L. Rideau,
    ``A Centaur Tutorial'',
    Inria Technical Report no. 140, July 1992.

    T. Bouguerba, J. Benzakki, M. Israel and L. Rideau,
    "A front-end VHDL editor for synthesis tools",
    proceedings VUIF'95 San-Diego - April 1995.

    T. Bouguerba, J. Benzakki,M. Israel and L. Rideau,
    "VHDL subsets in the SDEV environment. A Case Study : The Synopsys Subset.",
    proceedings VUIF'95 Boston - pages 2.11-2.16 - October 1995

    P. Asar, (generic name for the Project ASAR, including L. Rideau),
    "Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de CENTAUR : ASA"
    Symposium Architectures Nouvelles de Machines - Rennes - Décember 2-3, 1995.