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

DOI10.1007/BF01585709zbMATH Open0745.03028MaRDI QIDQ1184352FDOQ1184352

Authors: B. Curtis Eaves, Uriel G. Rothblum 

Publication date: 28 June 1992

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

Recommendations

• Applying Linear Quantifier Elimination
• Simplification of quantifier-free formulae over ordered fields
• Linear Quantifier Elimination
• Linear quantifier elimination
• Quantifier elimination for real algebra -- the quadratic case and beyond

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)

Cites Work

• A new polynomial-time algorithm for linear programming
• Title not available (Why is that?)
• A new decision method for elementary algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Theory on Extending Algorithms for Parametric Problems
• Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
• The complexity of linear problems in fields
• Relationships of properties of piecewise affine maps over ordered fields
• Invariant Polynomial Curves of Piecewise Linear Maps
• Title not available (Why is that?)

Cited In (6)

• A representation of convex semilinear sets
• An exact correspondence of linear problems and randomizing linear algorithms
• Title not available (Why is that?)
• Solving linear constraints over real and rational fields
• Formulation of linear problems and solution by a universal machine
• Locally injective maps in o-minimal structures without poles are surjective

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1184352)