Verified Real Number Calculations: A Library for Interval Arithmetic.

MLA

Daumas, Marc, et al. “Verified Real Number Calculations: A Library for Interval Arithmetic.” IEEE Transactions on Computers, vol. 58, no. 2, Feb. 2009, pp. 226–37. EBSCOhost, https://doi.org/10.1109/TC.2008.213.

APA

Daumas, M., Lester, D., & Muñoz, C. (2009). Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Transactions on Computers, 58(2), 226–237. https://doi.org/10.1109/TC.2008.213

Chicago

Daumas, Marc, David Lester, and César Muñoz. 2009. “Verified Real Number Calculations: A Library for Interval Arithmetic.” IEEE Transactions on Computers 58 (2): 226–37. doi:10.1109/TC.2008.213.