Pages that link to "Item:Q1184352"
From MaRDI portal
The following pages link to Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (Q1184352):
Displayed 6 items.
- A representation of convex semilinear sets (Q987186) (← links)
- Formulation of linear problems and solution by a universal machine (Q1338141) (← links)
- Solving linear constraints over real and rational fields (Q2452760) (← links)
- (Q4506060) (← links)
- Locally injective maps in o-minimal structures without poles are surjective (Q4714698) (← links)
- An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms (Q5244858) (← links)