Simple Continued Fractions And Their Convergents

Bo Li,Yan Zhang,Artur Korniłowicz
DOI: https://doi.org/10.2478/v10037-006-0009-9
2006-01-01
Formalized Mathematics
Abstract:The article introduces simple continued fractions. They are de fined as an in finite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is shown. We also give definitions of convergents of continued fractions, and several important properties of simple continued fractions and their convergents.
What problem does this paper attempt to address?