This Chapter briefly introduces the field of exact real arithmetic and discusses in more detail some of the related work mentioned in the introduction. We also discuss different approaches to real arithmetic in more detail, and some of the problems associated with these approaches.