A primal-dual formulation for certifiable computations in Schubert calculus

DOI10.1007/s10208-015-9270-zzbMath1360.14126arXiv1406.0864OpenAlexW2164322540MaRDI QIDQ330099

Jonathan D. Hauenstein, Nickolas Hein, Frank J. Sottile

Publication date: 24 October 2016

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.0864

zbMATH Keywords

Schubert calculuscertificationsquare systems

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Classical problems, Schubert calculus (14N15)

Related Items (4)

Certification for polynomial systems via square subsystems ⋮ Classification of Schubert Galois groups in \(Gr(4, 9)\) ⋮ A lifted square formulation for certifiable Schubert calculus ⋮ Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm

Uses Software

• Bertini
• alphaCertified

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity of path-following methods for the eigenvalue problem
• Lower bounds for numbers of real solutions in problems of Schubert calculus
• The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz
• Numerical Schubert calculus
• Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry
• Robust certified numerical homotopy tracking
• Lower bounds in real Schubert calculus
• Real Schubert Calculus: Polynomial Systems and a Conjecture of Shapiro and Shapiro
• The Monotone Secant Conjecture in the Real Schubert Calculus
• Certified Numerical Homotopy Tracking
• Solving schubert problems with Littlewood-Richardson homotopies
• Algorithm 921
• Galois groups of Schubert problems via homotopy computation
• Schubert calculus and representations of the general linear group
• Experimentation and Conjectures in the Real Schubert Calculus for Flag Manifolds
• An a posteriori certification algorithm for Newton homotopies
• Complexity of Bezout's Theorem I: Geometric Aspects
• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Experimentation in the Schubert Calculus
• Multihomogeneous Newton methods
• The Secant Conjecture in the Real Schubert Calculus
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• Frontiers of reality in Schubert calculus

This page was built for publication: A primal-dual formulation for certifiable computations in Schubert calculus