TY - RPRT TI - A lifted square formulation for certifiable Schubert calculus AU - Nickolas Hein AU - Frank Sottile PY - 2015 UR - https://arxiv.org/abs/1504.00979 ID - 1504.00979 ER -