TY - RPRT TI - Generating Non-Linear Interpolants by Semidefinite Programming AU - Liyun Dai AU - Bican Xia AU - Naijun Zhan PY - 2013 UR - https://arxiv.org/abs/1302.4739 ID - 1302.4739 ER -