1. [1] CAPD DynSys library, 2014. http://capd.ii.uj.edu.pl
2. [2] J.P. Aubin, “Behavior of the error of the approximate solutions of boundary value problems for linear elliptic operators by galerkin's and finite difference methods,” Annali della Scuola Normale Superiore di Pisa-Classe di Scienze, vol. 21, no. 4, pp. 599-637, 1967.
3. [3] M. Berz, COSY INFINITY, 2000. https://bt.pa.msu.edu/
4. [4] M. Breden and R. Castelli, “Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof,” Journal of Differential Equations, vol. 264, no. 10, pp. 6418-6458, 2018.
5. [5] M. Breden, J.-P. Lessard, and M. Vanicat, “Global bifurcation diagrams of steady states of systems of pdes via rigorous numerics: a 3-component reaction-diffusion system,” Acta applicandae mathematicae, vol. 128, no. 1, pp. 113-152, 2013.