{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:20:12Z","timestamp":1725596412645},"publisher-location":"Vienna","reference-count":15,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211835937"},{"type":"electronic","value":"9783709162804"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7091-6280-4_10","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T14:55:26Z","timestamp":1311000926000},"page":"99-106","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming"],"prefix":"10.1007","author":[{"given":"David M.","family":"Gay","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"IEEE StandardJor Binary Floating-Point Arithmetic, Institute of Electrical and Electronics Engineers, New York, NY, 1985. ANSI\/IEEE Std 754\u20131985."},{"issue":"8","key":"10_CR2","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/6424.315691","volume":"29","author":"JL Bentley","year":"1986","unstructured":"Bentley, J.L. (Aug. 1986), \u201cLittle Languages,\u201d Communications oJ the ACM\n              29 #8: 711\u2013721.","journal-title":"Communications oJ the ACM"},{"key":"10_CR3","volume-title":"LANCELOT, a Fortran Package Jor Large-Scale Nonlinear Optimization (Release A)","author":"AR Conn","year":"1992","unstructured":"Conn, A.R.; Gould, N.I.M.; and Toint, Ph.L., LANCELOT, a Fortran Package Jor Large-Scale Nonlinear Optimization (Release A), Springer-Verlag, 1992. Springer Series in Computational Mathematics 17."},{"key":"10_CR4","series-title":"Computing Science Technical Report","volume-title":"A Fortran-to-C Converter","author":"SI Feldman","year":"1990","unstructured":"Feldman, S.I.; Gay, D.M.; Maimone, M.W.; and Schryer, N.L., \u201cA Fortran-to-C Converter,\u201d Computing Science Technical Report No. 149 (1990), Bell Laboratories, Murray Hill, NJ."},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1137\/S105262349833338X","volume":"9","author":"MC Ferris","year":"1999","unstructured":"Ferris, Michael C.; Fourer, Robert; and Gay, David M. (1999), \u201cExpressing Complementarity Problems in an Algebraic Modeling Language and Communicating Them to Solvers,\u201d SIAM Journal on Optimization\n              9 #4: 991\u20131009.","journal-title":"SIAM Journal on Optimization"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/357456.357457","volume":"9","author":"R Fourer","year":"1983","unstructured":"Fourer, R. (1983), \u201cModeling Languages Versus Matrix Generators for Linear Programming,\u201d ACM Trans. Math. Software\n              9 #2: 143\u2013183.","journal-title":"ACM Trans. Math. Software"},{"key":"10_CR7","unstructured":"Fourer, Robert; Gay, David M.; and Kemighan, Brian W., AMPL: A Modeling Language for Mathematical Programming, Duxbury Press\/Wadsworth, 1993. ISBN: 0-89426-232-7."},{"key":"10_CR8","unstructured":"Gay, D.M. (1985), \u201cElectronic Mail Distribution of Linear Programming Test Problems,\u201d COALNewsletter#13: 10\u201312."},{"key":"10_CR9","volume-title":"Numerical Analysis Manuscript","author":"DM Gay","year":"1990","unstructured":"Gay, D.M., \u201cCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions,\u201d Numerical Analysis Manuscript 90-10 (11274-901130-10TMS) (1990), Bell Laboratories, Murray Hili, NJ."},{"key":"10_CR10","unstructured":"Gay, David M., \u201cAutomatic Differentiation of Nonlinear AMPL Models,\u201d pp. 61\u201373 in Automatic Differentiation of Algorithms: Theory, Implementation, and Application, ed. A. Griewank and G.F. Corliss, SIAM (1991)."},{"key":"10_CR11","unstructured":"Gay, D.M., \u201cMore AD of Nonlinear AMPL Models: Computing Hessian Information and Exploiting Partial Separability,\u201d in Computational Differentiation: Applications, Techniques, and Tools, ed. George F. Corliss, SIAM (1996)."},{"key":"10_CR12","unstructured":"Gay, David M., \u201cHooking Your Solver to AMPL,\u201d Technical Report 97-4-06 (April, 1997), Computing Sciences Research Center, Bell Laboratories. See http:\/\/www.ampl.com\/ampl\/REFS\/hooking2.ps.gz."},{"key":"10_CR13","unstructured":"Griewank, A. and Toint, Ph.L., \u201cOn the Unconstrained Optimization of Partially Separable Functions,\u201d pp. 301\u2013312 in Nonlinear Optimization 1981, ed. M. J. D. Powell, Academic Press (1982)."},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02612711","volume":"28","author":"A Griewank","year":"1984","unstructured":"Griewank, A. and Toint, Ph.L. (1984), \u201cOn the Existence of Convex Decompositions of Partially Separable Functions,\u201d Math. Programming\n              28: 25\u201349.","journal-title":"Math. Programming"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/BFb0120949","volume":"16","author":"BA Murtagh","year":"1982","unstructured":"Murtagh, B.A. and Saunders, M.A. (1982), \u201cA Projected Lagrangian Algorithm and its Implementation for Sparse Nonlinear Constraints,\u201d Math. Programming Study\n              16: 84\u2013117.","journal-title":"Math. Programming Study"}],"container-title":["Symbolic Algebraic Methods and Verification Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6280-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:32:32Z","timestamp":1606105952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6280-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783211835937","9783709162804"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6280-4_10","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}