ERATO MMSD キックオフワークショップ https://groups.google.com/forum/#!topic/sonoteno/87RUedFrmUU 気になりつつも結局行かなかったんだけど、資料とか公開されないのかなあ。

Takamasa Okudono さんの Generating Polynomial Interpolant with Semidefinite Programming (Numerical Optimization and Formal Methods) は、タイトルでググると別の人の論文 https://arxiv.org/abs/1302.4739 が引っかかるけど、内容的には関係する内容?