Ren-Cang Li, Sylvie Boldo, Marc Daumas. Theorems on Efficient Argument Reductions. In 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain. pages 129-136, IEEE Computer Society, 2003. [doi]
@inproceedings{LiBD03, title = {Theorems on Efficient Argument Reductions}, author = {Ren-Cang Li and Sylvie Boldo and Marc Daumas}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/arith/2003/1894/00/18940129abs.htm}, researchr = {https://researchr.org/publication/LiBD03}, cites = {0}, citedby = {0}, pages = {129-136}, booktitle = {16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain}, publisher = {IEEE Computer Society}, isbn = {0-7695-1894-X}, }