For the problem (here u = u(x)) ∆u− u + αu + βu = 0, x ∈ R, lim |x|→∞ u(x) = 0 , with constants 1 ≤ p < q < r < n+2 n−2 , and α, β > 0, uniqueness of radial solution (called ground state solution) is not known. We present a procedure, which opens the way to produce computer assisted proofs of uniqueness for specific p, q, r, and n.