Some applications of Brun's criterion

We consider some number-theoretic modifications of algorithms transforming rational sequences. These algorithms are widely applicable in numerical analysis. We use them for construction of the regular continued fractions for some fundamental constants. These algorithms together with the Brun’s criterion allow in a number of cases to establish irrationality of the values algorithmically with the use of only the rational arithmetic.