A Primal-Dual Formulation for Certifiable Computations in Schubert Calculus Academic Article uri icon

abstract

  • 2015, SFoCM. Formulating a Schubert problem as solutions to a system of equations in either Plcker space or local coordinates of a Schubert cell typically involves more equations than variables. We present a novel primal-dual formulation of any Schubert problem on a Grassmannian or flag manifold as a system of bilinear equations with the same number of equations as variables. This formulation enables numerical computations in the Schubert calculus to be certified using algorithms based on Smales -theory.

published proceedings

  • Foundations of Computational Mathematics

author list (cited authors)

  • Hauenstein, J. D., Hein, N., & Sottile, F.

citation count

  • 4

complete list of authors

  • Hauenstein, Jonathan D||Hein, Nickolas||Sottile, Frank

publication date

  • August 2016