Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963185989
@@ Property / OpenAlex ID: W2963185989 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6298
@@ Property / arXiv ID: 1305.6298 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent improvements in the complexity of the effective Nullstellensatz
+Normal rank
@@ Property / cites work @@
+The Structure of Polynomial Ideals and Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Q3710617
@@ Property / cites work: Q3710617 / rank @@
+Normal rank
@@ Property / cites work @@
+A bound for orders in differential Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Complexity of quantifier elimination in the theory of ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+On the effective Nullstellensatz
@@ Property / cites work: On the effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+The Curious History of Faa di Bruno's Formula
@@ Property / cites work: The Curious History of Faa di Bruno's Formula / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp Effective Nullstellensatz
@@ Property / cites work: Sharp Effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038753
@@ Property / cites work: Q4038753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3973339
@@ Property / cites work: Q3973339 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for the computation of the radical of an ideal
+Normal rank
@@ Property / cites work @@
+Q5611879
@@ Property / cites work: Q5611879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678669
@@ Property / cites work: Q3678669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4334610
@@ Property / cites work: Q4334610 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2509948