| 2007 |
|---|
| 9 | EE | Sylvie Boldo,
Marc Daumas,
Ren-Cang Li:
Formally Verified Argument Reduction with a Fused-Multiply-Add
CoRR abs/0708.3722: (2007) |
| 2004 |
|---|
| 8 | EE | Zhaojun Bai,
Ren-Cang Li:
Substructuring, Dimension Reduction and Applications: An Introduction.
PARA 2004: 266-266 |
| 7 | EE | Ren-Cang Li,
Zhaojun Bai:
Structure-Preserving Model Reduction.
PARA 2004: 323-332 |
| 6 | EE | Ren-Cang Li:
Near Optimality of Chebyshev Interpolation for Elementary Function Computations.
IEEE Trans. Computers 53(6): 678-687 (2004) |
| 5 | EE | Ernie Croot,
Ren-Cang Li,
Hui June Zhu:
The abc conjecture and correctly rounded reciprocal square roots.
Theor. Comput. Sci. 315(2-3): 405-417 (2004) |
| 2003 |
|---|
| 4 | EE | Ren-Cang Li,
Sylvie Boldo,
Marc Daumas:
Theorems on Efficient Argument Reductions.
IEEE Symposium on Computer Arithmetic 2003: 129-136 |
| 3 | | Ren-Cang Li:
On perturbations of matrix pencils with real spectra, a revisit.
Math. Comput. 72(242): 715-728 (2003) |
| 1997 |
|---|
| 2 | | William Kahan,
Ren-Cang Li:
Composition constants for raising the orders of unconventional schemes for ordinary differential equations.
Math. Comput. 66(219): 1089-1099 (1997) |
| 1996 |
|---|
| 1 | | Rajendra Bhatia,
Ren-Cang Li:
On perturbations of matrix pencils with real spectra. II.
Math. Comput. 65(214): 637-645 (1996) |
