- 2
PZ
Paul Zimmermann
2
Documents
Identifiants chercheurs
- paul-zimmermann
- 0000-0003-0718-4458
- IdRef : 034200282
Présentation
Paul Zimmermann
Paul Zimmermann
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
A Proof of GMP Square RootJournal of Automated Reasoning, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
Article dans une revue
inria-00101044v1
|
|
A proof of GMP square root using the Coq assistant[Research Report] RR-4475, INRIA. 2002
Rapport
inria-00072113v1
|