Accéder directement au contenu

Sylvie Boldo

1
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

840780
Image document

Theorems on Efficient Argument Reductions

Ren Cang Li , Sylvie Boldo , Marc Daumas
16th IEEE Symposium on Computer Arithmetic, 2003, Santiago de Compostela, Spain. pp.129-136, ⟨10.1109/ARITH.2003.1207670⟩
Communication dans un congrès hal-00156244v1