Olivier PONS

  • Organisation: INRIA
  • Unité de Recherche: Sophia Antipolis
  • Projet: CROAP
  • Tel : +33 93 65 76 32
  • Fax : +33 93 65 76 33
  • E-mail: Olivier.Pons@sophia.inria.fr


    Cette page est encore en construction : SOYEZ INDULGENT ,
    merci d'avance !

     

    Ma thèse

    Je m'intéresse à la réalisation d'outils d'aide au développement de grosses théories dans les systèmes d'aide à la preuve et plus particulièrement pour le système Coq.Il s'agit de fournir des outils permettant de mieux comprendre de grosses preuves, de gérer les dépendances entres des sous-preuves ou entre les différent résultats mathématiques afin d'en faciliter le développement et la maintenance.

    Mon rapport de ``DEA'' portait sur une bien brève tentative de formalisation des bases de données en coq.

    Un mode emacs (pour XEmacs 19.13) pour Coq

    Pointeurs vers d'autres sites

    Quelques documentations en ligne pour:

    fvwm
    TeX et LaTeX
    Une introduction a: Perl
    Un guide d'utilisation de X-Window
    Le manuel Elisp version hyper-texte
    Le Manuel de Caml Special Light version hyper-texte
    Et plein de bonnes adresses supplémentaires chez mon homonyme...

    Logique, Preuves, Mèthodes Formelles :

  • La bible sur les mèthodes formelles
  • CoQ
  • Surfing on the Coq's contrib
  • Le serveur Ct-CoQ
  • PVS
  • TLA de Leslie Lamport
  • Et côté Calcul formel, le serveur AXIOMXL


    Une tentative de répertorier tous les langages existants.


    Quelques Pages sur les langages fonctionnels

    Une nouveau journal virtuel

    The ACM Journal of Experimental Algorithmics

    La page culturelle :

    Le Monde Diplomatique
    Le coin des marxistes
    Les archives de : Bertrand Russel ,

    Le Seminaire Interdisciplinaire Isodge

    # a completer

    vous etes le visiteur numero


    merci a Siteflow pour le compteur.