MathDB
Solve $x^4-12x^2+x^2y^2+30\leq 0$ in Z

Source: Finland 2011, Problem 2

May 5, 2013
inequalitiesalgebra unsolvedalgebra

Problem Statement

Find all integers xx and yy satisfying the inequality x412x2+x2y2+300.x^4-12x^2+x^2y^2+30\leq 0.