The following pages link to (Q3936723):
Displaying 12 items.
- Relationships of properties of piecewise affine maps over ordered fields (Q919066) (← links)
- Quantifier elimination in linear difference equations over Witt vectors (Q935343) (← links)
- The complexity of linear problems in fields (Q1103602) (← links)
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (Q1184352) (← links)
- Formulation of linear problems and solution by a universal machine (Q1338141) (← links)
- Bézout domains and lattice-valued modules (Q2318399) (← links)
- Convex polarities over ordered fields (Q2655008) (← links)
- SEPARABLY CLOSED FIELDS AND CONTRACTIVE ORE MODULES (Q2795920) (← links)
- Model companion of ordered theories with an automorphism (Q2944812) (← links)
- The laws of integer divisibility, and solution sets of linear divisibility conditions (Q3160551) (← links)
- Valued modules on skew polynomial rings and Bézout domains (Q5239169) (← links)
- An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms (Q5244858) (← links)