@misc{indiciae504cdd5500fb, title = {Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof}, author = {Maxime Breden and Roberto Castelli}, year = {2017}, url = {https://arxiv.org/abs/1704.03827}, note = {Source identifier: 1704.03827} }