{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T22:27:13Z","timestamp":1775860033689,"version":"3.50.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1983,10,1]],"date-time":"1983-10-01T00:00:00Z","timestamp":433814400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Programming"],"published-print":{"date-parts":[[1983,10]]},"DOI":"10.1007\/bf02591947","type":"journal-article","created":{"date-parts":[[2007,3,29]],"date-time":"2007-03-29T11:36:38Z","timestamp":1175168198000},"page":"232-240","source":"Crossref","is-referenced-by-count":22,"title":["Formal optimization of some reduced linear programming problems"],"prefix":"10.1007","volume":"27","author":[{"given":"J. A.","family":"Tomlin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. S.","family":"Welch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02591947_CR1","first-page":"119","volume-title":"Integer and nonlinear programming","author":"E.M.L. Beale","year":"1970","unstructured":"E.M.L. Beale, \u201cAdvanced algorithmic features for general mathematical programming systems\u201d, in: J. Abadie, ed.Integer and nonlinear programming (North Holland, Amsterdam, 1970) pp. 119\u2013138."},{"key":"BF02591947_CR2","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-94-009-9935-0_12","volume-title":"Design and implementation of optimization software","author":"E.M.L. Beale","year":"1978","unstructured":"E.M.L. Beale, \u201cNonlinear programming using a general mathematical programming system\u201d, in: H. Greenberg, ed.,Design and implementation of optimization software (Sighthoff and Noordhoff, Alphen aan de Rijn, The Netherlands, 1978) pp. 259\u2013279."},{"key":"BF02591947_CR3","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/BF01584344","volume":"13","author":"M. Benichou","year":"1977","unstructured":"M. Benichou, J.M. Gauthier, G. Hentges and G. Ribiere, \u201cThe efficient solution of large-scale linear programming problems\u2014some algorithmic techniques and computational results\u201d,Mathematical Programming 13 (1977) 280\u2013322.","journal-title":"Mathematical Programming"},{"key":"BF02591947_CR4","series-title":"Report NPS 55-80-029","volume-title":"Structural redundancy in large-scale optimization models","author":"G.H. Bradley","year":"1980","unstructured":"G.H. Bradley, G.G. Brown and G.W. Graves, \u201cStructural redundancy in large-scale optimization models\u201d, Report NPS 55-80-029, Naval Postgraduate School (Monterey, CA, 1980)."},{"key":"BF02591947_CR5","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BF01580428","volume":"8","author":"A Brearley","year":"1975","unstructured":"A Brearley, G. Mitra and H.P. Williams, \u201cAnalysis of mathematical programming problems prior to applying the simplex algorithm\u201d,Mathematical Programming 8 (1975) 54\u201383.","journal-title":"Mathematical Programming"},{"key":"BF02591947_CR6","unstructured":"J.B. Creegan, \u201cwhizard Presolve\/Postsolve\u201d, Proceedings SHARE 59, New Orleans, LA (August 1982)."},{"key":"BF02591947_CR7","volume-title":"Advanced linear programming computing techniques","author":"W. Orchard-Hays","year":"1968","unstructured":"W. Orchard-Hays,Advanced linear programming computing techniques (McGraw-Hill, New York, 1968)."},{"key":"BF02591947_CR8","volume-title":"Redundancy and linear programs","author":"J. Telgen","year":"1979","unstructured":"J. Telgen,Redundancy and linear programs (Mathematisch Centrum, Amsterdam, 1979)."},{"key":"BF02591947_CR9","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BF01580221","volume":"6","author":"J.A. Tomlin","year":"1974","unstructured":"J.A. Tomlin, \u201cOn pricing and backward transformation in linear programming\u201d,Mathematical Programming 6 (1974) 42\u201347.","journal-title":"Mathematical Programming"},{"key":"BF02591947_CR10","unstructured":"J.A. Tomlin and J.S. Welch, \u201cMIPIII\u2014A SLEUTH based mixed integer programming system\u201d,Proceedings SHARE 57, Chicago, IL (August 1981)."},{"key":"BF02591947_CR11","doi-asserted-by":"crossref","unstructured":"J.A. Tomlin and J.S. Welch, \u201cA pathological case in the reduction of linear programs\u201d,Operations Research Letters, to appear.","DOI":"10.1016\/0167-6377(83)90036-6"},{"key":"BF02591947_CR12","first-page":"1","volume-title":"Recent advances in mathematical programming","author":"A.W. Tucker","year":"1963","unstructured":"A.W. Tucker, \u201cCombinatorial theory underlying linear programs\u201d, in: R.L. Graves and P. Wolfe, eds.,Recent advances in mathematical programming (McGraw-Hill, New York, 1963) pp. 1\u201316."}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02591947.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02591947\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02591947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:37:51Z","timestamp":1558381071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02591947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,10]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1983,10]]}},"alternative-id":["BF02591947"],"URL":"https:\/\/doi.org\/10.1007\/bf02591947","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,10]]}}}