  In this paper, we present and apply a computer-assisted method to study
steady states of a triangular cross-diffusion system. Our approach consist in
an a posteriori validation procedure, that is based on using a fxed point
argument around a numerically computed solution, in the spirit of the
Newton-Kantorovich theorem. It allows us to prove the existence of various non
homogeneous steady states for different parameter values. In some situations,
we get as many as 13 coexisting steady states. We also apply the a posteriori
validation procedure to study the linear stability of the obtained steady
states, proving that many of them are in fact unstable.
