DocumentCode :
3686766
Title :
A hypothetical way to compute an upper bound for the heights of solutions of a Diophantine equation with a finite number of solutions
Author :
Apoloniusz Tyszka
Author_Institution :
University of Agriculture, Faculty of Production and Power Engineering, Balicka 116B, 30-149 Krakó
fYear :
2015
Firstpage :
709
Lastpage :
716
Abstract :
Let f(n){221n-2 if n=1 (2 + 22n-4)2n-4 if nϵ [2, 3, 4, 5] if n ϵ [6, 7, 8 ....) We conjencturre that if a system T ⊆ {xi +1 = xk, xi = xk: i, j, k ϵ {l, ... ,n}} has only finitely many solutions in positive integers x1, ... , xn, then each such solution (x1, ... , xn) satisfies x1, ... , xn f(n). We prove that the function f cannot be decreased and the conjecture implies that there is an algorithm which takes as input a Diophantine equation, returns an integer, and this integer is greater than the heights of integer (non-negative integer, positive integer, rational) solutions, if the solution set is finite. We show that if the conjecture is true, then this can be partially confirmed by the execution of a brute-force algorithm.
Keywords :
"Upper bound","Polynomials","Computer science","Information systems","Agriculture","Production","Power engineering"
Publisher :
ieee
Conference_Titel :
Computer Science and Information Systems (FedCSIS), 2015 Federated Conference on
Type :
conf
DOI :
10.15439/2015F41
Filename :
7321512
Link To Document :
بازگشت