Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (Q1184352): Difference between revisions

@@ Property / cites work @@
+Q5573098
@@ Property / cites work: Q5573098 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Polynomial Curves of Piecewise Linear Maps
+Normal rank
@@ Property / cites work @@
+A Theory on Extending Algorithms for Parametric Problems
+Normal rank
@@ Property / cites work @@
+Relationships of properties of piecewise affine maps over ordered fields
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5328221
@@ Property / cites work: Q5328221 / rank @@
+Normal rank
@@ Property / cites work @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
+Normal rank
@@ Property / cites work @@
+A new decision method for elementary algebra
@@ Property / cites work: A new decision method for elementary algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3936723
@@ Property / cites work: Q3936723 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank