A Computational Approach to the Borwein-Ditor Theorem. - Aleksander Galicki; André Nies (CiE, 2016)