{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T14:13:53Z","timestamp":1680444833807},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,7,29]],"date-time":"2006-07-29T00:00:00Z","timestamp":1154131200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[2006,8]]},"DOI":"10.1007\/s11155-006-9004-7","type":"journal-article","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T10:24:06Z","timestamp":1154946246000},"page":"303-321","source":"Crossref","is-referenced-by-count":9,"title":["Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library"],"prefix":"10.1007","volume":"12","author":[{"given":"Christian","family":"Keil","sequence":"first","affiliation":[]},{"given":"Christian","family":"Jansson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,7,29]]},"reference":[{"key":"9004_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, ].: Introduction to Interval Computations, Academic Press, New York, 1983."},{"key":"9004_CR2","unstructured":"Beeck, H.: Linear Programming with Inexact Data, Technical Report 7830, Abteilung Mathe- matik, TU Miinchen, 1978."},{"key":"9004_CR3","unstructured":"Berkelaar, M., Notebaert, P., and Eikland, K.: lp solve, http :\/\/groups.yahoo.com\/group\/lp-solve ."},{"key":"9004_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4949-6","volume-title":"Deterministic Global Optimization: Theory, Methods and Applications (Nonconvex Optimization and Its Applications 37)","author":"C. Floudas","year":"2000","unstructured":"Floudas, C.: Deterministic Global Optimization: Theory, Methods and Applications (Nonconvex Optimization and Its Applications 37), Kluwer Academic Publishers, Dordrecht, Boston, London, 2000."},{"key":"9004_CR5","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-1-4613-3632-7_8","volume-title":"Large Scale Optimization: State of the Art","author":"R. Fourer","year":"1994","unstructured":"Fourer, R. and Gay, D. M.: Experience with a Primal Presolve Algorithm, in: Hager, W. W., Hearn, D. W., and Pardalos, P. M. (eds), Large Scale Optimization: State of the Art, Kluwer Academic Publishers, Norwell, Dordrecht, 1994, pp. 135\u2013154."},{"key":"9004_CR6","unstructured":"Free Software Foundation: gcc, http:\/\/gcc.gnu.org ."},{"key":"9004_CR7","doi-asserted-by":"crossref","unstructured":"Hansen, E. and Walster, G. W.: Global Optimization Using Interval Analysis, second edition, Pure and Applied Mathematics, Dekker, 2003.","DOI":"10.1201\/9780203026922"},{"key":"9004_CR8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/B:JOGO.0000006720.68398.8c","volume":"28","author":"C. Jansson","year":"2004","unstructured":"Jansson, C.: A Rigorous Lower Bound for the Optimal Value of Convex Optimization Problems, J. Global Optimization 28 (2004), pp. 121\u2013137.","journal-title":"J. Global Optimization"},{"issue":"3","key":"9004_CR9","doi-asserted-by":"crossref","first-page":"914","DOI":"10.1137\/S1052623402416839","volume":"14","author":"C. Jansson","year":"2004","unstructured":"Jansson, C.: Rigorous Lower and Upper Bounds in Linear Programming, SIAM J. Optim. 14 (3) (2004), pp. 914\u2013935.","journal-title":"SIAM J. Optim."},{"key":"9004_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R. Kearfott","year":"1996","unstructured":"Kearfott, R.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996."},{"key":"9004_CR11","unstructured":"Keil, C.: LURUPA-Rigorose Fehlerschranken fur Lineare Programme, Diplomarbeit, Technis- che Universitat Hamburg-Harburg, 2004."},{"key":"9004_CR12","unstructured":"Kniippel, O.: PROFIL\/BIAS and Extensions, Version 2.0, Technical report, Inst. f. Informatik III, Technische Universitat Hamburg-Harburg, 1998."},{"key":"9004_CR13","first-page":"215","volume-title":"Interval Math ematics, Lecture Notes in Computer Science 29","author":"R. Krawczyk","year":"1975","unstructured":"Krawczyk, R.: Fehlerabschatzung bei linearer Optimierung, in: Nickel, K. (ed.), Interval Math ematics, Lecture Notes in Computer Science 29, Springer Verlag, Berlin, 1975, pp. 215\u2013222."},{"key":"9004_CR14","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. Moore","year":"1979","unstructured":"Moore, R.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979."},{"key":"9004_CR15","unstructured":"Netlib: Netlib Linear Programming Library, http:\/\/www.netlib.org\/Ip ."},{"key":"9004_CR16","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Encyclopedia of Mathematics and Its Applications, Cambridge University Press, 1990."},{"key":"9004_CR17","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Introduction to Numerical Analysis, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511612916"},{"key":"9004_CR18","first-page":"271","volume":"13","author":"A. Neumaier","year":"2004","unstructured":"Neumaier, A.: Complete Search in Continuous Global Optimization and Constraint Satisfaction, ActaNumerica 13 (2004), pp. 271\u2013369.","journal-title":"ActaNumerica"},{"key":"9004_CR19","first-page":"283","volume":"99","author":"A. Neumaier","year":"2004","unstructured":"Neumaier, A. and Shcherbina, O.: Safe Bounds in Linear and Mixed-Integer Programming, Mathematical Programming, Ser. A 99 (2004), pp. 283\u2013296.","journal-title":"Ser. A"},{"issue":"2","key":"9004_CR20","first-page":"307","volume":"14","author":"F. Ordonez","year":"2003","unstructured":"Ordonez, F. and Freund, R.: Computational Experience and the Explanatory Value of Condition Measures for Linear Optimization, SIAM J. Optimization 14 (2) (2003), pp. 307\u2013333.","journal-title":"Optimization"},{"key":"9004_CR21","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-0-12-428660-3.50010-0","volume-title":"A New Approach to Scientific Computation","author":"S. Rump","year":"1983","unstructured":"Rump, S.: Solving Algebraic Problems with High Accuracy. Habilitationsschrift, in: Kulisch, U. and Miranker, W. (eds), A New Approach to Scientific Computation, Academic Press, New York, 1983. pp. 51\u2013120."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-9004-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-006-9004-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-9004-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T05:11:44Z","timestamp":1627708304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-006-9004-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,29]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,8]]}},"alternative-id":["9004"],"URL":"https:\/\/doi.org\/10.1007\/s11155-006-9004-7","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,29]]}}}