coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE.

From: Patrick Loiseleur <pae3 AT club-internet.fr>
To: Serge Leblanc <serge.leblanc AT wanadoo.fr>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE.
Date: Wed, 04 May 2005 20:50:55 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Serge Leblanc a écrit :

Bonjour, je recherche le rapport de stage de DEA de Patrick Loiseleur.
Le lien vers http://www.lri.fr/~loisel/rapport-stage-dea.ps.gz <http://www.lri.fr/%7Eloisel/rapport-stage-dea.ps.gz> n'est plus valide.

Merci cordialement,

On peut le trouver ici: http://www.loiseleur.com/patrick/rapport-stage-dea.ps.gz

cordialement,

Patrick

[Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Serge Leblanc
- Re: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Patrick Loiseleur
  - RE: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Marc Daumas
    - RE: [Coq-Club] Rapport de stage de DEA de Patrick Loiseleur sur les floating-point arithmetic IEEE., Serge Leblanc