{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:51:01Z","timestamp":1771573861062,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,6,13]],"date-time":"2015-06-13T00:00:00Z","timestamp":1434153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10208-015-9270-z","type":"journal-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T21:32:54Z","timestamp":1434144774000},"page":"941-963","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Primal-Dual Formulation for Certifiable Computations in Schubert Calculus"],"prefix":"10.1007","volume":"16","author":[{"given":"Jonathan D.","family":"Hauenstein","sequence":"first","affiliation":[]},{"given":"Nickolas","family":"Hein","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Sottile","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,13]]},"reference":[{"issue":"2","key":"9270_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10208-013-9185-5","volume":"14","author":"D Armentano","year":"2014","unstructured":"D. Armentano, Complexity of path-following methods for the eigenvalue problem, Found. Comput. Math. 14 (2014), no. 2, 185\u2013236.","journal-title":"Found. Comput. Math."},{"key":"9270_CR2","doi-asserted-by":"publisher","unstructured":"D.J. Bates, J.D. Hauenstein, A.J. Sommese, and C.W. Wampler, Bertini: Software for numerical algebraic geometry, Available at bertini.nd.edu. doi: 10.7274\/R0H41PB5 .","DOI":"10.7274\/R0H41PB5"},{"issue":"1","key":"9270_CR3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1080\/10586458.2011.606184","volume":"21","author":"C Beltr\u00e1n","year":"2012","unstructured":"C. Beltr\u00e1n and A. Leykin, Certified numerical homotopy tracking, Exp. Math. 21 (2012), no. 1, 69\u201383.","journal-title":"Exp. Math."},{"issue":"2","key":"9270_CR4","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10208-013-9143-2","volume":"13","author":"C Beltr\u00e1n","year":"2013","unstructured":"C. Beltr\u00e1n and A. Leykin, Robust certified numerical homotopy tracking, Found. Comput. Math. 13 (2013), no. 2, 253\u2013295.","journal-title":"Found. Comput. Math."},{"key":"9270_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and real computation","author":"L Blum","year":"1998","unstructured":"L. Blum, F. Cucker, M. Shub, and S. Smale, Complexity and real computation, Springer-Verlag, New York, 1998, With a foreword by Richard M. Karp"},{"issue":"231","key":"9270_CR6","doi-asserted-by":"crossref","first-page":"1071","DOI":"10.1090\/S0025-5718-99-01114-X","volume":"69","author":"J-P Dedieu","year":"2000","unstructured":"J.-P. Dedieu and M. Shub, Multihomogeneous newton methods, Math. Comp. 69 (2000), no. 231, 1071\u20131098.","journal-title":"Math. Comp."},{"issue":"1","key":"9270_CR7","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/3062151","volume":"155","author":"A Eremenko","year":"2002","unstructured":"A. Eremenko and A. Gabrielov, Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry, Ann. of Math. (2) 155 (2002), no. 1, 105\u2013129.","journal-title":"Ann. of Math. (2)"},{"key":"9270_CR8","volume-title":"Young tableaux, London Mathematical Society Students Texts, 35","author":"W Fulton","year":"1997","unstructured":"W. Fulton, Young tableaux, London Mathematical Society Students Texts, 35, Cambridge University Press, Cambridge, 1997."},{"issue":"3","key":"9270_CR9","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1080\/10586458.2012.661323","volume":"21","author":"L Garc\u00eda-Puente","year":"2012","unstructured":"L. Garc\u00eda-Puente, N. Hein, C. Hillar, A. Mart\u00edn del Campo, J. Ruffo, F. Sottile, and Z. Teitler, The Secant Conjecture in the real Schubert Calculus, Exper. Math. 21 (2012), no. 3, 252\u2013265.","journal-title":"Exper. Math."},{"key":"9270_CR10","doi-asserted-by":"crossref","unstructured":"J.D. Hauenstein, I. Haywood, and A.C. Liddell, Jr., An a posteriori certification algorithm for Newton homotopies, Proc. ISSAC 2014, ACM, 2014, pp. 248\u2013255.","DOI":"10.1145\/2608628.2608651"},{"key":"9270_CR11","unstructured":"J.D. Hauenstein, N. Hein, C. Hillar, A. Mart\u00edn del Campo, Frank Sottile, and Zach Teitler, The Monotone Secant Conjecture in the real Schubert calculus, MEGA11, Stockholm, 2011."},{"issue":"4","key":"9270_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/2331130.2331136","volume":"38","author":"JD Hauenstein","year":"2012","unstructured":"J.D. Hauenstein and F. Sottile, Algorithm 921: alphaCertified: Certifying solutions to polynomial systems, ACM Trans. Math. Softw. 38, (2012) no. 4, 28.","journal-title":"ACM Trans. Math. Softw."},{"key":"9270_CR13","unstructured":"J.D. Hauenstein and F. Sottile, alphaCertified: Software for certifying numerical solutions to polynomial equations, Available at www.math.tamu.edu\/~sottile\/research\/stories\/alphaCertified ."},{"issue":"1","key":"9270_CR14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.11606\/issn.2316-9028.v7i1p33-58","volume":"7","author":"N Hein","year":"2013","unstructured":"N. Hein, C. Hillar, and F. Sottile, Lower bounds in real Schubert calculus, S\u00e3o Paulo Journal of Mathematics 7 (2013), no. 1, 33\u201358.","journal-title":"S\u00e3o Paulo Journal of Mathematics"},{"issue":"6","key":"9270_CR15","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1006\/jsco.1998.0239","volume":"26","author":"B Huber","year":"1998","unstructured":"B. Huber, F. Sottile, and B. Sturmfels, Numerical Schubert calculus, J. Symb. Comp. 26 (1998), no. 6, 767\u2013788.","journal-title":"J. Symb. Comp."},{"key":"9270_CR16","first-page":"287","volume":"28","author":"SL Kleiman","year":"1974","unstructured":"S.L. Kleiman, The transversality of a general translate, Compositio Math. 28 (1974), 287\u2013297.","journal-title":"Compositio Math."},{"issue":"267","key":"9270_CR17","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1090\/S0025-5718-09-02239-X","volume":"78","author":"A Leykin","year":"2009","unstructured":"A. Leykin and F. Sottile, Galois groups of Schubert problems via homotopy computation, Math. Comp. 78 (2009), no. 267, 1749\u20131765.","journal-title":"Math. Comp."},{"key":"9270_CR18","unstructured":"A. Mart\u00edn del Campo and F. Sottile, Experimentation in the Schubert calculus, arXiv:1308.3284 , 2013."},{"key":"9270_CR19","unstructured":"E. Mukhin and V. Tarasov, Lower bounds for numbers of real solutions in problems of Schubert calculus, 2014, arXiv:1404.7194 ."},{"issue":"2","key":"9270_CR20","doi-asserted-by":"crossref","first-page":"863","DOI":"10.4007\/annals.2009.170.863","volume":"170","author":"E Mukhin","year":"2009","unstructured":"E. Mukhin, V. Tarasov, and A. Varchenko, The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz, Ann. of Math. (2) 170 (2009), no. 2, 863\u2013881.","journal-title":"Ann. of Math. (2)"},{"issue":"4","key":"9270_CR21","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1090\/S0894-0347-09-00640-7","volume":"22","author":"E Mukhin","year":"2009","unstructured":"E. Mukhin, V. Tarasov, and A. Varchenko, Schubert calculus and representations of the general linear group, J. Amer. Math. Soc. 22 (2009), no. 4, 909\u2013940.","journal-title":"J. Amer. Math. Soc."},{"issue":"2","key":"9270_CR22","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1080\/10586458.2006.10128954","volume":"15","author":"J Ruffo","year":"2006","unstructured":"J. Ruffo, Y. Sivan, E. Soprunova, and F. Sottile, Experimentation and conjectures in the real Schubert calculus for flag manifolds, Exper. Math. 15 (2006), no. 2, 199\u2013221.","journal-title":"Exper. Math."},{"key":"9270_CR23","volume-title":"Kalkul der abz\u00e4hlenden Geometrie","author":"H Schubert","year":"1879","unstructured":"H. Schubert, Kalkul der abz\u00e4hlenden Geometrie, Springer-Verlag, 1879, reprinted with an introduction by S. Kleiman, 1979."},{"key":"9270_CR24","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF02417085","volume":"8","author":"H Schubert","year":"1886","unstructured":"H. Schubert, Anzahl-Bestimmungen f\u00fcr lineare R\u00e4ume beliebiger Dimension, Acta. Math. 8 (1886), 97\u2013118.","journal-title":"Acta. Math."},{"issue":"1886","key":"9270_CR25","first-page":"26","volume":"26","author":"H Schubert","year":"1884","unstructured":"H. Schubert, Die $$n$$ n -dimensionalen Verallgemeinerungen der fundamentalen Anzahlen unseres Raums, Math. Ann. 26 (1886), 26\u201351, (dated 1884).","journal-title":"Math. Ann."},{"key":"9270_CR26","unstructured":"H. Schubert, Los\u00fcng des Charakteritiken-Problems f\u00fcr lineare R\u00e4ume beliebiger Dimension, Mittheil. Math. Ges. Hamburg (1886), 135\u2013155, (dated 1885)."},{"issue":"2","key":"9270_CR27","first-page":"459","volume":"6","author":"M Shub","year":"1993","unstructured":"M. Shub and S. Smale, Complexity of B\u00e9zout\u2019s theorem. I. Geometric aspects, J. Amer. Math. Soc. 6 (1993), no. 2, 459\u2013501.","journal-title":"J. Amer. Math. Soc."},{"key":"9270_CR28","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-1-4612-4984-9_13","volume-title":"Newton\u2019s method estimates from data at one point, The merging of disciplines: new directions in pure, applied, and computational mathematics","author":"S Smale","year":"1986","unstructured":"S. Smale, Newton\u2019s method estimates from data at one point, The merging of disciplines: new directions in pure, applied, and computational mathematics, Springer, New York, 1986, pp. 185\u2013196."},{"key":"9270_CR29","doi-asserted-by":"crossref","DOI":"10.1142\/5763","volume-title":"The numerical solution of systems of polynomials","author":"AJ Sommese","year":"2005","unstructured":"A.J. Sommese and C. W. Wampler, II, The numerical solution of systems of polynomials, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2005."},{"key":"9270_CR30","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/10586458.2000.10504644","volume":"9","author":"F Sottile","year":"2000","unstructured":"F. Sottile, Real Schubert calculus: Polynomial systems and a conjecture of Shapiro and Shapiro, Exper. Math. 9 (2000), 161\u2013182.","journal-title":"Exper. Math."},{"issue":"1","key":"9270_CR31","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1090\/S0273-0979-09-01276-2","volume":"47","author":"F Sottile","year":"2010","unstructured":"F. Sottile, Frontiers of reality in Schubert calculus, Bull. Amer. Math. Soc. (N.S.) 47 (2010), no. 1, 31\u201371.","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"9270_CR32","doi-asserted-by":"crossref","unstructured":"F. Sottile, Real solutions to equations from geometry, University Lecture Series, vol. 57, American Mathematical Society, 2011.","DOI":"10.1090\/ulect\/057"},{"key":"9270_CR33","doi-asserted-by":"crossref","unstructured":"F. Sottile, R. Vakil, and J. Verschelde, Solving Schubert problems with Littlewood-Richardson homotopies, Proc. ISSAC 2010 (Stephen M. Watt, ed.), ACM, 2010, pp. 179\u2013186.","DOI":"10.1145\/1837934.1837971"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-015-9270-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-015-9270-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-015-9270-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T21:11:29Z","timestamp":1566853889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-015-9270-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,13]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9270"],"URL":"https:\/\/doi.org\/10.1007\/s10208-015-9270-z","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,13]]}}}