Guest Editors' Introduction: Special Section on Comuter Arithmetic

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.