Аннотация:
Рассматриваются теоретико-числовые модификации алгоритмов преобразования рациональных последовательностей. Эти алгоритмы широко применяются в численном анализе. Мы применяем их для конструирования обыкновенных цепных дробей некоторых фундаментальных постоянных. Эти алгоритмы совместно с критерием Бруна позволяют в ряде случаев установить иррациональность нужных величин алгоритмически с использованием только рациональной арифметики.