Elimination of infinitesimal quantifiers (Q1295791): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Frontier and closure of a semi-Pfaffian set
@@ Property / cites work: Frontier and closure of a semi-Pfaffian set / rank @@
+Normal rank
@@ Property / cites work @@
+Q5447549
@@ Property / cites work: Q5447549 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of stratifications of semi-Pfaffian sets
+Normal rank
@@ Property / cites work @@
+How to recognize zero?
@@ Property / cites work: How to recognize zero? / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric categories and o-minimal structures
@@ Property / cites work: Geometric categories and o-minimal structures / rank @@
+Normal rank