A core library for robust numeric and geometric computation V Karamcheti, C Li, I Pechtchanski, C Yap Proceedings of the fifteenth annual symposium on Computational geometry, 351-359, 1999 | 174 | 1999 |

Recent progress in exact geometric computation C Li, S Pion, CK Yap The Journal of Logic and Algebraic Programming 64 (1), 85-111, 2005 | 122 | 2005 |

A new constructive root bound for algebraic expressions C Li, C Yap Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms …, 2001 | 66 | 2001 |

Exact geometric computation: theory and applications C Li New York University, 2001 | 23 | 2001 |

Randomized zero testing of radical expressions and elementary geometry theorem proving D Tulone, C Yap, C Li Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 …, 2001 | 21 | 2001 |

Different Manhattan project: automatic statistical model generation CK Yap, H Biermann, A Hertzmann, C Li, J Meyer, HK Pao, S Paxia Visualization and Data Analysis 2002 4665, 259-268, 2002 | 16 | 2002 |

QuickMul: Practical FFT-based Integer Multiplication C Yap, C Li Technical report, 2000 | 8 | 2000 |

Core library tutorial C Li, C Yap, S Pion, Z Du, V Sharma | 1 | 2004 |