Analyse de complexité pour un théorème de Hall sur les fractions continues
Salah Labhalla, Henri Lombardi · Mathematical logic quarterly · 1996
Abstract We give a polynomial time controlled version of a theorem of M. Hall: every real number can be written as the sum of two irrational numbers whose developments into a continued fraction contain only 1, 2, 3 or 4. Mathematics Subject Classification: 03D15, 03F60, 11A55, 68Q25.