Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields

DOI10.1007/BF01585709zbMath0745.03028MaRDI QIDQ1184352

B. Curtis Eaves, Uriel G. Rothblum

Publication date: 28 June 1992

Published in: Mathematical Programming. Series A. Series B (Search for Journal in Brave)

zbMATH Keywords

linear inequalitiestransfer principleordered fieldsDines-Fourier-Motzkin elimination

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (6)

Formulation of linear problems and solution by a universal machine ⋮ Solving linear constraints over real and rational fields ⋮ Unnamed Item ⋮ A representation of convex semilinear sets ⋮ Locally injective maps in o-minimal structures without poles are surjective ⋮ An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new polynomial-time algorithm for linear programming
• Relationships of properties of piecewise affine maps over ordered fields
• The complexity of linear problems in fields
• A new decision method for elementary algebra
• Invariant Polynomial Curves of Piecewise Linear Maps
• A Theory on Extending Algorithms for Parametric Problems
• Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations

This page was built for publication: Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields