header("Content-Type: text/html; charset= UTF-8"); ?>
Points of bounded height on the projective line \(\mathbf{P}^1(\mathbf{Q}(i\sqrt5))\). High resolution pdf file. High resolution png file.