Ren Cang Li

Identifiers

• name variant Ren Cang Li 0.60 · backfill

Papers (1)

1. Formally Verified Argument Reduction with a Fused-Multiply-Add cs.MS · 2007 · author #4

Mentions

• 0708.3722 #4 · backfill · confidence 0.70 Ren Cang Li

Frequent Coauthors

• Eliaus) 1 shared papers
• Marc Daumas (LIRMM 1 shared papers
• Sylvie Boldo (INRIA Futurs) 1 shared papers