A numerical verification, method of steady state solutions for a system of reaction-diffusion equations is described. Using a decoupling technique, the system is reduced to a single nonlinear equation and a computer-assisted method for second-order elliptic boundary value problems based on the infinite dimensional fixed-point theorem can be applied. Some numerical examples confirm the effectiveness of the method.

中文翻译：

---

一种二耦合椭圆偏微分方程的数值验证方法

描述了反应扩散方程系统稳态解的数值验证方法。使用解耦技术，系统被简化为单个非线性方程，并且可以应用基于无限维不动点定理的二阶椭圆边值问题的计算机辅助方法。一些数值例子证实了该方法的有效性。