coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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

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 n'est plus valide.

Merci cordialement,

Serge Leblanc <serge.leblanc AT wanadoo.fr> GnuPG id: 1024D/73791C2B 2002-09-30 
Primary key fingerprint: 8E0C 0D6D E026 A278 9278  BF4F 1A93 D552 7379 1C2B

Attachment: signature.asc
Description: This is a digitally signed message part

[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