There are only finitely many algebraic numbers of bounded degree and bounded Absolute multiplicative Weil height. The finite set can be enumerated effectively from the bounded coefficients of their primitive minimal polynomials.
New to topics? Read the docs here!