{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T20:12:34Z","timestamp":1775851954123,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992,1]]},"DOI":"10.1007\/bf01585709","type":"journal-article","created":{"date-parts":[[2005,4,28]],"date-time":"2005-04-28T08:34:23Z","timestamp":1114677263000},"page":"307-321","source":"Crossref","is-referenced-by-count":13,"title":["Dines\u2014Fourier\u2014Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields"],"prefix":"10.1007","volume":"53","author":[{"given":"B. Curtis","family":"Eaves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uriel G.","family":"Rothblum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Introduction to Algebraic Topology","author":"E. Artin","year":"1969","unstructured":"E. Artin and H. Braun,Introduction to Algebraic Topology (Merrill, Columbus, OH, 1969)."},{"key":"CR2","volume-title":"Linear Programming and Extensions","author":"G.B. Dantzig","year":"1963","unstructured":"G.B. Dantzig,Linear Programming and Extensions (Princeton University Press, Princeton, NJ, 1963)."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/1967869","volume":"20","author":"L.L. Dines","year":"1918\u20131919","unstructured":"L.L. Dines, \u201cSystems of linear inequalities,\u201dAnnals of Mathematics 20 (1918\u20131919) 191\u2013199.","journal-title":"Annals of Mathematics"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1137\/0326023","volume":"26","author":"B.C. Eaves","year":"1987","unstructured":"B.C. Eaves and U.G. Rothblum, \u201cInvariant polynomial curves for piecewise linear maps,\u201dSIAM Journal on Control and Optimization 26 (1987) 401\u2013409.","journal-title":"SIAM Journal on Control and Optimization"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1287\/moor.14.3.502","volume":"14","author":"B.C. Eaves","year":"1989","unstructured":"B.C. Eaves and U.G. Rothblum, \u201cA theory on extending algorithms for parametric problems,\u201dMathematics of Operations Research 14 (1989) 502\u2013533.","journal-title":"Mathematics of Operations Research"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0024-3795(90)90052-E","volume":"132","author":"B.C. Eaves","year":"1990","unstructured":"B.C. Eaves and U.G. Rothblum, \u201cRelationships of properties of piecewise affine maps over ordered fields,\u201dLinear Algebra and its Applications 132 (1990) 1\u201363.","journal-title":"Linear Algebra and its Applications"},{"key":"CR7","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1970","unstructured":"H.B. Enderton,A Mathematical Introduction to Logic (Academic Press, New York and London, 1970)."},{"key":"CR8","unstructured":"J.-B.J. Fourier, \u201cSolution d'une question particuli\u00e8re du calcul des in\u00e9galit\u00e9s,\u201dOeuvres II (1826) 317\u2013328."},{"key":"CR9","unstructured":"D.Yu. Grigor'ev, \u201cComputational complexity in polynomial algebra,\u201dProceedings of the International Congress of Mathematicians (1986)."},{"key":"CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9872-4","volume-title":"Lectures in Abstract Algebra III","author":"N. Jacobson","year":"1964","unstructured":"N. Jacobson,Lectures in Abstract Algebra III (Van Nostrand, Princeton, NJ, 1964)."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"N. Karmarkar, \u201cA new polynomial-time algorithm for linear programming,\u201dProceedings of the 16th ACM Symposium on Theory of Computing (1984) 302\u2013311.","DOI":"10.1145\/800057.808695"},{"key":"CR12","first-page":"191","volume":"20","author":"L.G. Khachian","year":"1979","unstructured":"L.G. Khachian, \u201cA polynomial algorithm in linear programming,\u201dSoviet Mathematics Doklady 20 (1979) 191\u2013194.","journal-title":"Soviet Mathematics Doklady"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1287\/moor.5.3.366","volume":"5","author":"E. Kohlberg","year":"1980","unstructured":"E. Kohlberg, \u201cInvariant half-lines of nonexpansive piecewise linear transformations,\u201dMathematics of Operations Research 5 (1980) 366\u2013372.","journal-title":"Mathematics of Operations Research"},{"key":"CR14","volume-title":"Beitr\u00e4ge zur Theorie der linearen Ungleichungen","author":"T. Motzkin","year":"1936","unstructured":"T. Motzkin,Beitr\u00e4ge zur Theorie der linearen Ungleichungen (Azriel, Jerusalem, 1936)."},{"key":"CR15","volume-title":"Iterative Solution of Nonlinear Equations with Several Variables","author":"J.M. Ortega","year":"1970","unstructured":"J.M. Ortega and W.C. Rheinbolt,Iterative Solution of Nonlinear Equations with Several Variables (Academic Press, New York and London, 1970)."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/1969640","volume":"60","author":"A. Seidenberg","year":"1954","unstructured":"A. Seidenberg, \u201cA new decision method for elementary algebra,\u201dAnnals of Mathematics 60 (1954) 365\u2013374.","journal-title":"Annals of Mathematics"},{"key":"CR17","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski,A Decision Method for Elementary Algebra and Geometry (University of California Press, Berkeley and Los Angeles, CA, 1951, 2nd ed.).","edition":"2nd ed."},{"key":"CR18","first-page":"19","volume":"33","author":"L. Dries Van den","year":"1981","unstructured":"L. Van den Dries, \u201cQuantifier elimination for linear formulas over ordered and valued fields,\u201dBulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique S\u00e9rie B 33 (1981) 19\u201332.","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique S\u00e9rie B"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"V. Weispfenning, \u201cThe complexity of linear problems in fields,\u201dJournal of Symbolic Computation 5 (1988) 3\u201327.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01585709.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01585709\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01585709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,10]],"date-time":"2021-07-10T02:30:32Z","timestamp":1625884232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01585709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":19,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["BF01585709"],"URL":"https:\/\/doi.org\/10.1007\/bf01585709","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}