TODO is it or is not:
- mathoverflow.net/questions/207482/algorithmic-un-solvability-of-diophantine-equations-of-given-degree-with-given
- math.stackexchange.com/questions/181380/second-degree-diophantine-equations
- mathoverflow.net/questions/142938/is-there-an-algorithm-to-solve-quadratic-diophantine-equations
- math.stackexchange.com/questions/798609/is-there-any-solution-to-this-quadratic-diophantine-equation