{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T10:11:02Z","timestamp":1692612662328},"reference-count":95,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund (FWF)","doi-asserted-by":"crossref","award":["P23554"],"award-info":[{"award-number":["P23554"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Austrian Research Promotion Agency (FFG)","award":["846920"],"award-info":[{"award-number":["846920"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund (FWF)","doi-asserted-by":"crossref","award":["P27891"],"award-info":[{"award-number":["P27891"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer Algor"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11075-016-0249-x","type":"journal-article","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T11:16:29Z","timestamp":1481973389000},"page":"163-189","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations"],"prefix":"10.1007","volume":"76","author":[{"given":"Ali","family":"Baharev","sequence":"first","affiliation":[]},{"given":"Ferenc","family":"Domes","sequence":"additional","affiliation":[]},{"given":"Arnold","family":"Neumaier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"249_CR1","unstructured":"Aspen Technology, Inc (2009) Aspen Simulation Workbook, Version Number: V7.1. Burlington, MA, USA. EO and SM Variables and Synchronization, p. 110"},{"key":"249_CR2","doi-asserted-by":"crossref","unstructured":"Auger, A., Hansen, N.: A restart CMA evolution strategy with increasing population size. In: 2005. The 2005 IEEE Congress on Evolutionary Computation, vol. 2, pp 1769\u20131776. IEEE (2005)","DOI":"10.1109\/CEC.2005.1554902"},{"key":"249_CR3","unstructured":"Bachmann, B., Aron\u00dfon, P, Fritzson, P.: Robust initialization of differential algebraic equations. In: 1st International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, vol. 2007, pp 151\u2013163, Link\u00f6ping University Electronic Press; Link\u00f6pings universitet, Link\u00f6ping Electronic Conference Proceedings (2007)"},{"key":"249_CR4","unstructured":"Baharev, A.: https:\/\/sdopt-tearing.readthedocs.io , Exact and heuristic methods for tearing (2016)"},{"key":"249_CR5","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/aic.14305","volume":"60","author":"A Baharev","year":"2014","unstructured":"Baharev, A., Neumaier, A.: A globally convergent method for finding all steady-state solutions of distillation columns. AIChE J. 60, 410\u2013414 (2014)","journal-title":"AIChE J."},{"key":"249_CR6","doi-asserted-by":"crossref","first-page":"1485","DOI":"10.1002\/aic.12362","volume":"57","author":"A Baharev","year":"2011","unstructured":"Baharev, A., Kolev, L., R\u00e9v, E: Computing multiple steady states in homogeneous azeotropic and ideal two-product distillation. AIChE J. 57, 1485\u20131495 (2011)","journal-title":"AIChE J."},{"key":"249_CR7","unstructured":"Baharev, A., Domes, F., Neumaier, A.: Online supplementary material of the present manuscript. http:\/\/www.baharev.info\/finding_all_solutions.html (2016a)"},{"key":"249_CR8","unstructured":"Baharev, A., Schichl, H., Neumaier, A.: Decomposition methods for solving nonlinear systems of equations, http:\/\/reliablecomputing.eu\/baharev_tearing_survey.pdf , submitted (2016b)"},{"key":"249_CR9","unstructured":"Baharev, A., Schichl, H., Neumaier, A.: Ordering matrices to bordered lower triangular form with minimal border width, http:\/\/reliablecomputing.eu\/baharev_tearing_exact_algorithm.pdf , submitted (2016c)"},{"issue":"4","key":"249_CR10","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s11075-011-9463-8","volume":"58","author":"DJ Bates","year":"2011","unstructured":"Bates, D.J., Hauenstein, J.D., Sommese, A.J.: Efficient path tracking methods. Numer. Algorithm. 58(4), 451\u2013459 (2011)","journal-title":"Numer. Algorithm."},{"key":"249_CR11","doi-asserted-by":"crossref","unstructured":"Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically Solving Polynomial Systems with Bertini, Software, Environments and Tools, vol 25. SIAM, Philadelphia, PA (2013)","DOI":"10.1137\/1.9781611972702"},{"issue":"1","key":"249_CR12","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s11075-015-0014-6","volume":"71","author":"DJ Bates","year":"2016","unstructured":"Bates, D.J., Newell, A.J., Niemerg, M.: BertiniLab: A MATLAB interface for solving systems of polynomial equations. Numer. Algorithm. 71(1), 229\u2013244 (2016)","journal-title":"Numer. Algorithm."},{"issue":"1","key":"249_CR13","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1002\/pamm.200510328","volume":"5","author":"T Beelitz","year":"2005","unstructured":"Beelitz, T., Frommer, A., Lang, B., Willems, P.: Symbolic\u2013numeric techniques for solving nonlinear systems. PAMM 5(1), 705\u2013708 (2005)","journal-title":"PAMM"},{"key":"249_CR14","doi-asserted-by":"crossref","first-page":"2023","DOI":"10.1021\/ie00021a026","volume":"32","author":"N Bekiaris","year":"1993","unstructured":"Bekiaris, N., Meski, G.A., Radu, C.M., Morari, M.: Multiple steady states in homogeneous azeotropic distillation. Ind. Eng. Chem. Res. 32, 2023\u20132038 (1993)","journal-title":"Ind. Eng. Chem. Res."},{"key":"249_CR15","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1002\/cjce.5450520108","volume":"52","author":"JF Boston","year":"1974","unstructured":"Boston, J.F., Sullivan, S.L.: A new class of solution methods for multicomponent, multistage separation processes. Can. J. Chem. Eng. 52, 52\u201363 (1974)","journal-title":"Can. J. Chem. Eng."},{"issue":"2","key":"249_CR16","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1002\/aic.690160206","volume":"16","author":"JH Christensen","year":"1970","unstructured":"Christensen, J.H.: The structuring of process optimization. AIChE J. 16(2), 177\u2013184 (1970)","journal-title":"AIChE J."},{"key":"249_CR17","unstructured":"Dassault Syst\u00e8mes, AB: Dymola\u2014Dynamic Modeling Laboratory. User Manual. Vol. 2., Ch. 8. Advanced Modelica Support (2014)"},{"key":"249_CR18","doi-asserted-by":"crossref","unstructured":"Davis, T.A.: Direct methods for sparse linear systems. In: Higham, N.J. (ed.) Fundamentals of Algorithms. SIAM, Philadelphia, USA (2006)","DOI":"10.1137\/1.9780898718881"},{"key":"249_CR19","doi-asserted-by":"crossref","unstructured":"Dietmaier, P.: The Stewart-Gough platform of general geometry can have 40 real postures, pp 7\u201316. Springer, Netherlands, Dordrecht (1998)","DOI":"10.1007\/978-94-015-9064-8_1"},{"key":"249_CR20","unstructured":"Doedel, E.J., Wang, X.J., Fairgrieve, T.F.: AUTO94: Software for continuation and bifurcation problems in ordinary differential equations. Technical Report CRPC-95-1, Center for Research on Parallel Computing, California Institute of Technology, Pasadena CA 91125 (1995)"},{"key":"249_CR21","unstructured":"Doherty, M.F., Fidkowski, Z.T., Malone, M.F., Taylor, R.: Perry\u2019s Chemical Engineers\u2019 Handbook, 8th edn., p 33. McGraw-Hill Professional (2008). chapter 13"},{"issue":"4","key":"249_CR22","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCI.2006.329691","volume":"1","author":"M Dorigo","year":"2006","unstructured":"Dorigo, M., Birattari, M., St\u00fctzle, T: Ant colony optimization. IEEE Comput. Intell. Mag. 1(4), 28\u201339 (2006)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"249_CR23","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1021\/ie9703447","volume":"37","author":"C Dorn","year":"1998","unstructured":"Dorn, C., G\u00fcttinger, T E, Wells, G.J., Morari, M.: Stabilization of an unstable distillation column. Ind. Eng. Chem. Res. 37, 506\u2013515 (1998)","journal-title":"Ind. Eng. Chem. Res."},{"key":"249_CR24","unstructured":"Duff, I.S., Erisman, A.M., Reid, J.K.: Direct methods for sparse matrices. Clarendon Press, Oxford (1986)"},{"key":"249_CR25","doi-asserted-by":"crossref","first-page":"517","DOI":"10.4153\/CJM-1958-052-0","volume":"10","author":"AL Dulmage","year":"1958","unstructured":"Dulmage, A.L., Mendelsohn, N.S.: Coverings of bipartite graphs. Can. J. Math. 10, 517\u2013534 (1958)","journal-title":"Can. J. Math."},{"issue":"53","key":"249_CR26","first-page":"1","volume":"3","author":"AL Dulmage","year":"1959","unstructured":"Dulmage, A.L., Mendelsohn, N.S.: A structure theory of bipartite graphs of finite exterior dimension. Trans. Royal Soc. Can. Sec. 3(53), 1\u201313 (1959)","journal-title":"Trans. Royal Soc. Can. Sec."},{"key":"249_CR27","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1137\/0111014","volume":"11","author":"AL Dulmage","year":"1963","unstructured":"Dulmage, A.L., Mendelsohn, N.S.: Two Algorithms for Bipartite Graphs. J. Soc. Ind. Appl. Math. 11, 183\u2013194 (1963)","journal-title":"J. Soc. Ind. Appl. Math."},{"key":"249_CR28","unstructured":"Eberhart, R., Kennedy, J.: A new optimizer using particle swarm theory. In: Proceedings of the Sixth International Symposium on Micro Machine and Human Science, 1995. MHS\u201995, pp 39\u201343. IEEE (2002)"},{"key":"249_CR29","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1137\/0722022","volume":"22","author":"AM Erisman","year":"1985","unstructured":"Erisman, A.M., Grimes, R.G., Lewis, J.G., Poole, W.G.J.: A structurally stable modification of Hellerman-Rarick\u2019s P 4 algorithm for reordering unsymmetric sparse matrices. SIAM J. Numer. Anal. 22, 369\u2013385 (1985)","journal-title":"SIAM J. Numer. Anal."},{"issue":"6","key":"249_CR30","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1016\/0094-114X(94)00069-W","volume":"30","author":"JC Faug\u00e8re","year":"1995","unstructured":"Faug\u00e8re, J C, Lazard, D.: Combinatorial classes of parallel manipulators. Mech Mach. Theory 30(6), 765\u2013776 (1995)","journal-title":"Mech Mach. Theory"},{"key":"249_CR31","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF02025533","volume":"43","author":"R Fletcher","year":"1993","unstructured":"Fletcher, R., Hall, J.A.J.: Ordering algorithms for irreducible sparse linear systems. Ann. Oper. Res. 43, 15\u201332 (1993)","journal-title":"Ann. Oper. Res."},{"issue":"1","key":"249_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1137\/1026001","volume":"26","author":"R Fourer","year":"1984","unstructured":"Fourer, R.: Staircase matrices and systems. SIAM Rev. 26(1), 1\u201370 (1984)","journal-title":"SIAM Rev."},{"key":"249_CR33","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, Brooks\/Cole, USA (2003)"},{"key":"249_CR34","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press (2004)"},{"key":"249_CR35","unstructured":"Golub, G.H., Van Loan, C.F.: Matrix computations, 3rd edn. The Johns Hopkins University Press, Baltimore, USA (1996)"},{"key":"249_CR36","unstructured":"gPROMS. Process Systems Enterprise Limited, gPROMS. http:\/\/www.psenterprise.com , [Online; accessed 17-November-2015] (2015)"},{"issue":"2","key":"249_CR37","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1002\/aic.690200231","volume":"20","author":"PK Gupta","year":"1974","unstructured":"Gupta, P.K., Westerberg, A.W., Hendry, J.E., Hughes, R.R.: Assigning output variables to equations using linear programming. AIChE J.ournal 20(2), 397\u2013399 (1974)","journal-title":"AIChE J.ournal"},{"key":"249_CR38","doi-asserted-by":"crossref","first-page":"2816","DOI":"10.1021\/ie960802w","volume":"35","author":"TE G\u00fcttinger","year":"1996","unstructured":"G\u00fcttinger, T E, Morari, M.: Comments on multiple steady states in homogeneous azeotropic distillation. Ind. Eng. Chem. Res. 35, 2816\u20132816 (1996)","journal-title":"Ind. Eng. Chem. Res."},{"key":"249_CR39","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1021\/ie960522g","volume":"36","author":"TE G\u00fcttinger","year":"1997","unstructured":"G\u00fcttinger, T E, Dorn, C., Morari, M.: Experimental study of multiple steady states in homogeneous azeotropic distillation. Ind. Eng. Chem. Res. 36, 794\u2013802 (1997)","journal-title":"Ind. Eng. Chem. Res."},{"key":"249_CR40","doi-asserted-by":"crossref","unstructured":"Guzman, Y.A., Hasan, M.M.F., Floudas, C.A.: Computational comparison of convex underestimators for use in a branch-and-bound global optimization framework. In: Rassias, T.M., Floudas, C.A., Butenko, S. (eds.) Optimization in Science and Engineering, pp 229\u2013246. Springer, New York, USA (2014)","DOI":"10.1007\/978-1-4939-0808-0_11"},{"key":"249_CR41","doi-asserted-by":"crossref","unstructured":"Gwaltney, C.R., Lin, Y., Simoni, L.D., Stadtherr, M.A.: Interval methods for nonlinear equation solving applications. Wiley, Chichester, UK (2008)","DOI":"10.1002\/9780470724163.ch4"},{"key":"249_CR42","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF01584086","volume":"1","author":"E Hellerman","year":"1971","unstructured":"Hellerman, E., Rarick, D.C.: Reinversion with preassigned pivot procedure. Math Programm. 1, 195\u2013216 (1971)","journal-title":"Math Programm."},{"key":"249_CR43","doi-asserted-by":"crossref","unstructured":"Hellerman, E., Rarick, D.C.: The partitioned preassigned pivot procedure (P 4). In: Rose, D.J., Willoughby, R.A. (eds.) Sparse Matrices and their Applications, The IBM Research Symposia Series, pp 67\u201376. Springer, US (1972)","DOI":"10.1007\/978-1-4615-8675-3_6"},{"key":"249_CR44","unstructured":"HSL: A collection of Fortran codes for large scale scientific computation. http:\/\/www.hsl.rl.ac.uk (2016)"},{"key":"249_CR45","doi-asserted-by":"crossref","first-page":"529","DOI":"10.4153\/CJM-1962-044-0","volume":"14","author":"DM Johnson","year":"1962","unstructured":"Johnson, D.M., Dulmage, A.L., Mendelsohn, N.S.: Connectivity and reducibility of graphs. Can. J. Math. 14, 529\u2013539 (1962)","journal-title":"Can. J. Math."},{"key":"249_CR46","doi-asserted-by":"crossref","first-page":"4386","DOI":"10.1021\/ie049443s","volume":"44","author":"A Kannan","year":"2005","unstructured":"Kannan, A., Joshi, M.R., Reddy, G.R., Shah, D.M.: Multiple-steady-states identification in homogeneous azeotropic distillation using a process simulator. Ind. Eng. Chem. Res. 44, 4386\u20134399 (2005)","journal-title":"Ind. Eng. Chem. Res."},{"issue":"2","key":"249_CR47","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF02253433","volume":"47","author":"RB Kearfott","year":"1991","unstructured":"Kearfott, R.B.: Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing 47(2), 169\u2013191 (1991)","journal-title":"Computing"},{"issue":"2","key":"249_CR48","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0098-1354(95)00264-2","volume":"21","author":"A Kr\u00f6ner","year":"1997","unstructured":"Kr\u00f6ner, A, Marquardt, W., Gilles, E.: Getting around consistent initialization of DAE systems? Comput. Chem. Eng. 21(2), 145\u2013158 (1997)","journal-title":"Comput. Chem. Eng."},{"key":"249_CR49","doi-asserted-by":"crossref","unstructured":"Lazard, D.: On the representation of rigid-body motions and its application to generalized platform manipulators, pp 175\u2013181. Springer, Netherlands, Dordrecht (1993)","DOI":"10.1007\/978-94-015-8192-9_16"},{"key":"249_CR50","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1021\/ie50269a005","volume":"24","author":"WK Lewis","year":"1932","unstructured":"Lewis, W.K., Matheson, G.L.: Studies in distillation. Ind. Eng. Chem. 24, 494\u2013498 (1932)","journal-title":"Ind. Eng. Chem."},{"issue":"11","key":"249_CR51","doi-asserted-by":"crossref","first-page":"1761","DOI":"10.1016\/j.compchemeng.2010.03.013","volume":"34","author":"I Malinen","year":"2010","unstructured":"Malinen, I., Tanskanen, J.: Homotopy parameter bounding in increasing the robustness of homotopy continuation methods in multiplicity studies. Comput. Chem. Eng. 34(11), 1761\u20131774 (2010)","journal-title":"Comput. Chem. Eng."},{"key":"249_CR52","doi-asserted-by":"crossref","first-page":"501\u2014","DOI":"10.1016\/S0967-0661(98)00047-1","volume":"6","author":"S Mattsson","year":"1998","unstructured":"Mattsson, S., Elmqvist, H., Otter, M.: Physical system modeling with Modelica. Control Eng. Pract. 6, 501\u2014-510 (1998)","journal-title":"Control Eng. Pract."},{"issue":"2","key":"249_CR53","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1137\/080717341","volume":"20","author":"A Mitsos","year":"2009","unstructured":"Mitsos, A., Chachuat, B., Barton, P.I.: McCormick-based relaxations of algorithms. SIAM J. Optim. 20(2), 573\u2013601 (2009)","journal-title":"SIAM J. Optim."},{"key":"249_CR54","unstructured":"Modelica: Modelica and the modelica association. https:\/\/www.modelica.org\/ , [Online; accessed 10-October-2016] (2016)"},{"key":"249_CR55","unstructured":"Modelon, A.B.: JModelica.org User Guide, verison 1.17. http:\/\/www.jmodelica.org\/page\/236 , [Online; accessed 10-October-2016] (2016)"},{"key":"249_CR56","doi-asserted-by":"publisher","unstructured":"Mourrain, B.: The 40 g\u0308eneric positions of a parallel robot. In: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ACM, NY, USA, ISSAC \u201993, pp. 173\u2013182, doi: 10.1145\/164081.164120 (1993)","DOI":"10.1145\/164081.164120"},{"key":"249_CR57","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1002\/aic.690170130","volume":"17","author":"LM Naphthali","year":"1971","unstructured":"Naphthali, L.M., Sandholm, D.P.: Multicomponent separation calculations by linearization. AIChE J. 17, 148\u2013153 (1971)","journal-title":"AIChE J."},{"key":"249_CR58","volume-title":"Interval methods for systems of equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval methods for systems of equations. Cambridge University Press, Cambridge (1990)"},{"key":"249_CR59","unstructured":"Neumaier, A., Azmi, B.: LMBOPT \u2013 A limited memory method for bound-constrained optimization, http:\/\/www.mat.univie.ac.at\/neum\/ms\/lmbopt.pdf , in preparation (2017)"},{"key":"249_CR60","unstructured":"Ochel, L.A., Bachmann, B.: Initialization of equation-based hybrid models within OpenModelica. In: 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (University of Nottingham), pp 97\u2013103. Link\u00f6ping University Electronic Press; Link\u00f6pings universitet, Link\u00f6ping Electronic Conference Proceedings, Nottingham, Uk (2013)"},{"key":"249_CR61","unstructured":"OpenModelica: Openmodelica user\u2019s guide. https:\/\/openmodelica.org\/doc\/OpenModelicaUsersGuide\/latest\/omchelptext.html , [Online; accessed 10-October-2016] (2016)"},{"key":"249_CR62","doi-asserted-by":"crossref","unstructured":"De P Soares, R., Secchi, A.R.: EMSO: A new environment for modelling, simulation and optimisation. In: Computer Aided Chemical Engineering, vol. 14, pp 947\u2013952. Elsevier (2003)","DOI":"10.1016\/S1570-7946(03)80239-0"},{"issue":"2","key":"249_CR63","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1137\/0909014","volume":"9","author":"CC Pantelides","year":"1988","unstructured":"Pantelides, C.C.: The consistent initialization of differential-algebraic systems. SIAM J. Sci. Stat. Comput. 9(2), 213\u2013231 (1988)","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"249_CR64","doi-asserted-by":"crossref","unstructured":"Petlyuk, F.B.: Distillation theory and its application to optimal design of separation units. Cambridge University Press, Cambridge, UK (2004)","DOI":"10.1017\/CBO9780511547102"},{"issue":"1","key":"249_CR65","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0098-1354(91)87006-U","volume":"15","author":"PC Piela","year":"1991","unstructured":"Piela, P.C., Epperly, T.G., Westerberg, K.M., Westerberg, A.W.: ASCEND: An object-oriented computer environment for modeling and analysis: the modeling language. Comput. Chem. Eng. 15(1), 53\u201372 (1991)","journal-title":"Comput. Chem. Eng."},{"key":"249_CR66","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/98267.98287","volume":"16","author":"A Pothen","year":"1990","unstructured":"Pothen, A., Fan, C.J.: Computing the block triangular form of a sparse matrix. ACM Trans. Math. Softw. 16, 303\u2013324 (1990)","journal-title":"ACM Trans. Math. Softw."},{"key":"249_CR67","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s10898-005-0937-x","volume":"33","author":"H Schichl","year":"2005","unstructured":"Schichl, H., Neumaier, A.: Interval analysis on directed acyclic graphs for global optimization. J. Global Optim. 33, 541\u2013562 (2005)","journal-title":"J. Global Optim."},{"issue":"4","key":"249_CR68","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/s10898-011-9664-7","volume":"51","author":"JK Scott","year":"2011","unstructured":"Scott, J.K., Stuber, M.D., Barton, P.I.: Generalized McCormick relaxations. J. Glob. Optim. 51(4), 569\u2013606 (2011)","journal-title":"J. Glob. Optim."},{"key":"249_CR69","doi-asserted-by":"crossref","unstructured":"Shcherbina, O., Neumaier, A., Sam-Haroud, D., Vu, X.H., Nguyen, T.V.: Benchmarking global optimization and constraint satisfaction codes. In: Bliek, C., Jermann, C., Neumaier, A. (eds.) Global Optimization and Constraint Satisfaction, Lecture Notes in Computer Science. http:\/\/www.mat.univie.ac.at\/neum\/glopt\/coconut\/Benchmark\/Benchmark.html , vol. 2861, pp 211\u2013222. Springer, Berlin Heidelberg (2003)","DOI":"10.1007\/978-3-540-39901-8_16"},{"key":"249_CR70","doi-asserted-by":"publisher","unstructured":"Sielemann, M.: Device-oriented modeling and simulation in aircraft energy systems design. Dissertation, TU Hamburg, Hamburg (2012). 10.15480\/882.1111","DOI":"10.15480\/882.1111"},{"issue":"12","key":"249_CR71","doi-asserted-by":"crossref","first-page":"2673","DOI":"10.1016\/j.matcom.2011.05.010","volume":"81","author":"M Sielemann","year":"2011","unstructured":"Sielemann, M., Schmitz, G.: A quantitative metric for robustness of nonlinear algebraic equation solvers. Math. Comput. Simul. 81(12), 2673\u20132687 (2011)","journal-title":"Math. Comput. Simul."},{"key":"249_CR72","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.simpat.2013.07.001","volume":"38","author":"M Sielemann","year":"2013","unstructured":"Sielemann, M., Casella, F., Otter, M.: Robustness of declarative modeling languages: improvements via probability-one homotopy. Simul. Modell. Pract. Theory 38, 38\u201357 (2013)","journal-title":"Simul. Modell. Pract. Theory"},{"key":"249_CR73","unstructured":"Smith, L.: Improved placement of local solver launch points for large-scale global optimization. PhD thesis, Ottawa-Carleton Institute for Electrical and Computer Engineering (OCIECE). Carleton University, Ontario, Canada (2011)"},{"issue":"2","key":"249_CR74","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1080\/10556788.2011.647818","volume":"28","author":"L Smith","year":"2013","unstructured":"Smith, L., Chinneck, J., Aitken, V.: Constraint consensus concentration for identifying disjoint feasible regions in nonlinear programmes. Optim. Methods Softw. 28(2), 339\u2013363 (2013a)","journal-title":"Optim. Methods Softw."},{"issue":"3","key":"249_CR75","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10589-012-9473-z","volume":"54","author":"L Smith","year":"2013","unstructured":"Smith, L., Chinneck, J., Aitken, V.: Improved constraint consensus methods for seeking feasibility in nonlinear programs. Comput. Optim. Appl. 54(3), 555\u2013578 (2013b)","journal-title":"Comput. Optim. Appl."},{"key":"249_CR76","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.compchemeng.2012.08.002","volume":"48","author":"RP Soares","year":"2013","unstructured":"Soares, R.P.: Finding all real solutions of nonlinear systems of equations with discontinuities by a modified affine arithmetic. Comput. Chem. Eng. 48, 48\u201357 (2013)","journal-title":"Comput. Chem. Eng."},{"key":"249_CR77","doi-asserted-by":"crossref","unstructured":"Sommese, A.J., Wampler II, C.W.: The numerical solution of systems of polynomials arising in engineering and science. World Scientific (2005)","DOI":"10.1142\/5763"},{"issue":"1","key":"249_CR78","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0098-1354(84)80011-3","volume":"8","author":"MA Stadtherr","year":"1984","unstructured":"Stadtherr, M.A., Wood, E.S.: Sparse matrix methods for equation-based chemical process flowsheeting\u2013I: Reordering phase. Comput. Chem. Eng. 8(1), 9\u201318 (1984a)","journal-title":"Comput. Chem. Eng."},{"issue":"1","key":"249_CR79","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0098-1354(84)80012-5","volume":"8","author":"MA Stadtherr","year":"1984","unstructured":"Stadtherr, M.A., Wood, E.S.: Sparse matrix methods for equation-based chemical process flowsheeting\u2013II: Numerical Phase. Comput. Chem. Eng. 8(1), 19\u201333 (1984b)","journal-title":"Comput. Chem. Eng."},{"issue":"2","key":"249_CR80","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1137\/0702028","volume":"2","author":"DV Steward","year":"1965","unstructured":"Steward, D.V.: Partitioning and tearing systems of equations. J. Soc. Indust. Appl. Math. Ser. B Numer. Anal. 2(2), 345\u2013365 (1965)","journal-title":"J. Soc. Indust. Appl. Math. Ser. B Numer. Anal."},{"key":"249_CR81","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1021\/ie50279a011","volume":"25","author":"E Thiele","year":"1933","unstructured":"Thiele, E., Geddes, R.: Computation of distillation apparatus for hydrocarbon mixtures. Ind. Eng. Chem. 25, 289\u2013295 (1933)","journal-title":"Ind. Eng. Chem."},{"key":"249_CR82","doi-asserted-by":"crossref","unstructured":"Tiller, M.: Introduction to physical modeling with Modelica. Springer Science & Business Media (2001)","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"249_CR83","doi-asserted-by":"publisher","unstructured":"Ugray, Z., Lasdon, L., Plummer, J., Glover, F., Kelly, J., Mart\u00ed, R: Scatter Search and Local NLP Solvers: A Multistart Framework for Global Optimization. INFORMS J. Comput. 19(3), 328\u2013340 (2007). doi: 10.1287\/ijoc.1060.0175","DOI":"10.1287\/ijoc.1060.0175"},{"issue":"8","key":"249_CR84","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/0098-1354(94)00094-5","volume":"19","author":"J Unger","year":"1995","unstructured":"Unger, J., Kr\u00f6ner, A, Marquardt, W.: Structural analysis of differential-algebraic equation systems \u2014\u2013 theory and applications. Comput. Chem. Eng. 19(8), 867\u2013882 (1995)","journal-title":"Comput. Chem. Eng."},{"key":"249_CR85","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/S0098-1354(01)00624-X","volume":"25","author":"A Vadapalli","year":"2001","unstructured":"Vadapalli, A., Seader, J.D.: A generalized framework for computing bifurcation diagrams using process simulation programs. Comput. Chem. Eng. 25, 445\u2013464 (2001)","journal-title":"Comput. Chem. Eng."},{"issue":"2","key":"249_CR86","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/317275.317286","volume":"25","author":"J Verschelde","year":"1999","unstructured":"Verschelde, J.: Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation. ACM Trans. Math. Softw. 25(2), 251\u2013276 (1999)","journal-title":"ACM Trans. Math. Softw."},{"issue":"3\/4","key":"249_CR87","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/1940475.1940524","volume":"44","author":"J Verschelde","year":"2011","unstructured":"Verschelde, J.: Polynomial homotopy continuation with phcpack. ACM Commun. Comput. Algebra 44(3\/4), 217\u2013220 (2011)","journal-title":"ACM Commun. Comput. Algebra"},{"key":"249_CR88","unstructured":"Verschelde, J.: The database of polynomial systems. http:\/\/homepages.math.uic.edu\/jan\/demo.html (2016)"},{"key":"249_CR89","doi-asserted-by":"crossref","unstructured":"Vieira, R. Jr, E. B.: Direct methods for consistent initialization of DAE systems. Comput. Chem. Eng. 25(9\u201310), 1299\u20131311 (2001)","DOI":"10.1016\/S0098-1354(01)00702-5"},{"issue":"4","key":"249_CR90","first-page":"499","volume":"45","author":"XH Vu","year":"2008","unstructured":"Vu, X.H., Schichl, H., Sam-Haroud, D.: Interval propagation and search on directed acyclic graphs for numerical constraint solving. J. Glob. Optim. 45(4), 499 (2008)","journal-title":"J. Glob. Optim."},{"key":"249_CR91","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10107-004-0559-y","volume":"106","author":"A W\u00e4chter","year":"2006","unstructured":"W\u00e4chter, A, Biegler, L.T.: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Math. Programm. 106, 25\u201357 (2006)","journal-title":"Math. Programm."},{"issue":"3","key":"249_CR92","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0094-114X(95)00068-A","volume":"31","author":"CW Wampler","year":"1996","unstructured":"Wampler, C.W.: Forward displacement analysis of general six-in-parallel sps (Stewart) platform manipulators using soma coordinates. Mech. Mach. Theory 31 (3), 331\u2013337 (1996)","journal-title":"Mech. Mach. Theory"},{"key":"249_CR93","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0300-9467(71)87002-8","volume":"2","author":"AW Westerberg","year":"1971","unstructured":"Westerberg, A.W., Edie, F.C.: Computer-aided design, Part 1 enhancing convergence properties by the choice of output variable assignments in the solution of sparse equation sets. Chem. Eng. J. 2, 9\u201316 (1971a)","journal-title":"Chem. Eng. J."},{"key":"249_CR94","doi-asserted-by":"crossref","unstructured":"Westerberg AW, Edie FC: Computer-aided design, part 2 an approach to convergence and tearing in the solution of sparse equation sets. Chem. Eng. J. 2(1), 17\u201325 (1971b)","DOI":"10.1016\/0300-9467(71)87003-X"},{"key":"249_CR95","doi-asserted-by":"crossref","unstructured":"Wu, W., Reid, G.: Finding points on real solution components and applications to differential polynomial systems. In: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ACM, NY, USA, ISSAC \u201913, pp 339\u2013346 (2013)","DOI":"10.1145\/2465506.2465954"}],"container-title":["Numerical Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11075-016-0249-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-016-0249-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-016-0249-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T09:48:43Z","timestamp":1692611323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11075-016-0249-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"references-count":95,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["249"],"URL":"https:\/\/doi.org\/10.1007\/s11075-016-0249-x","relation":{},"ISSN":["1017-1398","1572-9265"],"issn-type":[{"value":"1017-1398","type":"print"},{"value":"1572-9265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}