10.6084/m9.figshare.7607657.v1 Yutaka Hori Yutaka Hori Hiroki Miyazako Hiroki Miyazako Mathematical proofs from Analysing diffusion and flow-driven instability using semidefinite programming The Royal Society 2019 reaction–diffusion–advection model transport-driven instability convex optimization semidefinite programming self-organized pattern formation 2019-01-19 04:30:25 Journal contribution 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