{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:35:31Z","timestamp":1743111331435,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152733"},{"type":"electronic","value":"9783642152740"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15274-0_19","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T14:17:34Z","timestamp":1283609854000},"page":"205-219","source":"Crossref","is-referenced-by-count":2,"title":["Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests"],"prefix":"10.1007","author":[{"given":"Winfried","family":"Neun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Sturm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Vigerske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"19_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/j.compchemeng.2009.10.001","volume":"34","author":"M. Ballerstein","year":"2010","unstructured":"Ballerstein, M., Michaels, D., Seidel-Morgenstern, A., Weismantel, R.: A theoretical study of continuous counter-current chromatography for adsorption isotherms with inflection points. Computers & Chemical Engineering\u00a034(4), 447\u2013459 (2010)","journal-title":"Computers & Chemical Engineering"},{"volume-title":"Global Optimization in Engineering Design","year":"1996","key":"19_CR2","unstructured":"Grossmann, I.E. (ed.): Global Optimization in Engineering Design. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"19_CR3","volume-title":"Large-Scale Optimization with Applications, Part II: Optimal Design and Control","author":"I.E. Grossmann","year":"1997","unstructured":"Grossmann, I.E., Kravanja, Z.: Mixed-integer nonlinear programming: A survey of algorithms and applications. In: Conn, A., Biegler, L., Coleman, T., Santosa, F. (eds.) Large-Scale Optimization with Applications, Part II: Optimal Design and Control. Springer, Heidelberg (1997)"},{"key":"19_CR4","volume-title":"Optimization in the Energy Industry","author":"M. J\u00fcdes","year":"2009","unstructured":"J\u00fcdes, M., Tsatsaronis, G., Vigerske, S.: Optimization of the design and partial-load operation of power plants using mixed-integer nonlinear programming. In: Kallrath, J., Pardalos, P., Rebennack, S., Scheidt, M. (eds.) Optimization in the Energy Industry. Springer, Heidelberg (2009)"},{"key":"19_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3532-1","volume-title":"Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications","author":"M. Tawarmalani","year":"2002","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"19_CR6","volume-title":"Numerical Optimization","author":"J. Nocedal","year":"2000","unstructured":"Nocedal, J., Wright, S.: Numerical Optimization. Springer, Heidelberg (2000)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF00121749","volume":"9","author":"C.S. Adjiman","year":"1997","unstructured":"Adjiman, C.S., Floudas, C.A.: Rigorous convex underestimators for general twice-differentiable problems. Journal of Global Optimization\u00a09, 23\u201340 (1997)","journal-title":"Journal of Global Optimization"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1287\/ijoc.1090.0321","volume":"22","author":"R. Fourer","year":"2009","unstructured":"Fourer, R., Maheshwari, C., Neumaier, A., Orban, D., Schichl, H.: Convexity and concavity detection in computational graphs: Tree walks for convexity assessment. INFORMS Journal on Computing\u00a022(1), 26\u201343 (2009)","journal-title":"INFORMS Journal on Computing"},{"issue":"5","key":"19_CR9","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1137\/070704186","volume":"30","author":"M. M\u00f6nnigmann","year":"2008","unstructured":"M\u00f6nnigmann, M.: Efficient calculation of bounds on spectra of Hessian matrices. SIAM Journal on Scientific Computing\u00a030(5), 2340\u20132357 (2008)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"19_CR10","unstructured":"Nenov, I.P., Fylstra, D.H., Kolev, L.V.: Convexity determination in the Microsoft Excel solver using automatic differentiation techniques. Technical report, Frontline Systems Inc. (2004)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-85101-1_15","volume-title":"Algebraic Biology","author":"T. Sturm","year":"2008","unstructured":"Sturm, T., Weber, A.: Investigating generic methods to solve Hopf bifurcation problems in algebraic biology. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol.\u00a05147, pp. 200\u2013215. Springer, Heidelberg (2008)"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s11786-008-0067-1","volume":"2","author":"T. Sturm","year":"2009","unstructured":"Sturm, T., Weber, A., Abdel-Rahman, E.O., El Kahoui, M.: Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. Mathematics in Computer Science\u00a02(3), 493\u2013515 (2009)","journal-title":"Mathematics in Computer Science"},{"key":"#cr-split#-19_CR13.1","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. Prepared for publication by J.C.C. McKinsey. RAND Report R109, August 1 (1948) (revised May 1951)","DOI":"10.1525\/9780520348097"},{"key":"#cr-split#-19_CR13.2","unstructured":"Second Edition, RAND, Santa Monica, CA (1957)"},{"issue":"6","key":"19_CR14","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1145\/235809.235813","volume":"43","author":"S. Basu","year":"1996","unstructured":"Basu, S., Pollack, R., Roy, M.F.: On the combinatorial and algebraic complexity of quantifier elimination. Journal of the ACM\u00a043(6), 1002\u20131045 (1996)","journal-title":"Journal of the ACM"},{"issue":"1&2","key":"19_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"Weispfenning, V.: The complexity of linear problems in fields. Journal of Symbolic Computation\u00a05(1&2), 3\u201327 (1988)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"19_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V. Weispfenning","year":"1997","unstructured":"Weispfenning, V.: Quantifier elimination for real algebra\u2014the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing\u00a08(2), 85\u2013101 (1997)","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"issue":"3","key":"19_CR17","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation\u00a012(3), 299\u2013328 (1991)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin\u00a031(2), 2\u20139 (1997)","journal-title":"ACM SIGSAM Bulletin"},{"issue":"1-2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"J.H. Davenport","year":"1988","unstructured":"Davenport, J.H., Heintz, J.: Real quantifier elimination is doubly exponential. Journal of Symbolic Computation\u00a05(1-2), 29\u201335 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Dolan, E.D., Mor\u00e9, J.J., Munson, T.S.: Benchmarking optimization software with COPS 3.0. Technical Report ANL\/MCS-273, Mathematics and Computer Science Division, Argonne National Laboratory (2004), http:\/\/www.mcs.anl.gov\/~more\/cops","DOI":"10.2172\/834714"},{"key":"19_CR21","unstructured":"Bonami, P., Kilin\u00e7, M., Linderoth, J.: Algorithms and software for convex mixed integer nonlinear programs (2009), Optimization Online, http:\/\/www.optimization-online.org\/DB_HTML\/2009\/10\/2429.html"},{"issue":"1","key":"19_CR22","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1287\/ijoc.15.1.114.15159","volume":"15","author":"M.R. Bussieck","year":"2003","unstructured":"Bussieck, M.R., Drud, A.S., Meeraus, A.: MINLPLib\u2014A Collection of Test Models for Mixed-Integer Nonlinear Programming. INFORMS Journal on Computing\u00a015(1), 114\u2013119 (2003), http:\/\/www.gamsworld.org\/minlp\/minlplib.htm","journal-title":"INFORMS Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15274-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T09:33:25Z","timestamp":1636364005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15274-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152733","9783642152740"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15274-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}