EllipticPDELocalizedRadialSol.jl is a Julia package to prove the existence of localised radial solutions of semilinear elliptic equations as described in Theorem 1.1, Theorem 1.2 and Theorem 1.3 of the paper Constructive proofs for localised radial solutions of semilinear elliptic systems on $\mathbb{R}^d$.
Download this repository and execute the file run_proofs.jl located in the folder proofs.