Guillaume Melquiond <guillaume.melquiond@inria.fr>

The following people have made major contributions to CoqInterval:

Érik Martin-Dorel <erik.martin-dorel@irit.fr>
Pierre Roux <pierre.roux@onera.fr>
Thomas Sibut-Pinote <thomas.sibut-pinote@inria.fr>

The following people are the original authors of CoqApprox (src/Poly):

Érik Martin-Dorel <erik.martin-dorel@ens-lyon.org>
Micaela Mayero <micaela.mayero@lipn.univ-paris13.fr>
Ioana Pasca <ioana.pasca@iut-nimes.fr>
Laurence Rideau <laurence.rideau@inria.fr>
Laurent Théry <laurent.thery@inria.fr>
