Institute of Electrical and Electronics Engineers, IEEE Transactions on Computers, 2(58), p. 145-147, 2009
DOI: 10.1109/tc.2009.11
Full text: Download
The eight articles in this special section focus on computer arithmetic. They are grouped onto four categories: decimal arithmetic, number systems, multiplication and elementary functions, and formal proofs.