TY - RPRT TI - Is there an algorithm which takes as input a Diophantine equation, returns an integer, and this integer is greater than the number of integer solutions, if the solution set is finite? AU - Apoloniusz Tyszka PY - 2014 UR - https://arxiv.org/abs/1309.3673 ID - 1309.3673 ER -