Mathematical proofs from Analysing diffusion and flow-driven instability using semidefinite programming Yutaka Hori Hiroki Miyazako 10.6084/m9.figshare.7607657.v1 https://rs.figshare.com/articles/journal_contribution/Mathematical_proofs_from_Analysing_diffusion_and_flow-driven_instability_using_semidefinite_programming/7607657 Proofs for Lemma and Propositions 2019-01-19 04:30:25 reaction–diffusion–advection model transport-driven instability convex optimization semidefinite programming self-organized pattern formation