Accéder directement au contenu
PZ

Paul Zimmermann

2
Documents
Identifiants chercheurs

Présentation

Paul Zimmermann
Paul Zimmermann

Publications

yves-bertot

A Proof of GMP Square Root

Yves Bertot , Nicolas Magaud , Paul Zimmermann
Journal of Automated Reasoning, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
Article dans une revue inria-00101044v1