TY  - RPRT
TI  - A Computer-Assisted Stability Proof for a Stationary Solution of Reaction-Diffusion Equations
AU  - Shuting Cai
AU  - Jing Zeng
PY  - 2015
UR  - https://arxiv.org/abs/1408.4678
ID  - 1408.4678
ER  -