Apoloniusz Tyszka. A hypothetical way to compute an upper bound for the heights of solutions of a Diophantine equation with a finite number of solutions. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, 2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015. pages 709-716, IEEE, 2015. [doi]
Abstract is missing.