On the complexity of the resolvent representation of some prime differential ideals (Q2496182): Difference between revisions

@@ Property / describes a project that uses @@
+ObservabilityTest
@@ Property / describes a project that uses: ObservabilityTest / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronecker
@@ Property / describes a project that uses: Kronecker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jco.2005.10.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2104965505
@@ Property / OpenAlex ID: W2104965505 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314299
@@ Property / cites work: Q4314299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331740
@@ Property / cites work: Q4331740 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolvent representation for regular differential ideals
+Normal rank
@@ Property / cites work @@
+Q3128887
@@ Property / cites work: Q3128887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248250
@@ Property / cites work: Q4248250 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for diophantine approximations
@@ Property / cites work: Lower bounds for diophantine approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4352797
@@ Property / cites work: Q4352797 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+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 @@
+Deformation techniques for efficient polynomial equation solving.
+Normal rank
@@ Property / cites work @@
+On the time-space complexity of geometric elimination procedures
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4425662
@@ Property / cites work: Q4425662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714022
@@ Property / cites work: Q4714022 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp estimates for the arithmetic Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Q3676243
@@ Property / cites work: Q3676243 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast computation of discrete invariants associated to a differential rational mapping
+Normal rank
@@ Property / cites work @@
+Q4334610
@@ Property / cites work: Q4334610 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative differential operations
@@ Property / cites work: Associative differential operations / rank @@
+Normal rank
@@ Property / cites work @@
+A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
+Normal rank
@@ Property / cites work @@
+Computing parametric geometric resolutions
@@ Property / cites work: Computing parametric geometric resolutions / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Probabilistic Algorithms for Verification of Polynomial Identities
+Normal rank
@@ Property / cites work @@
+A probabilistic algorithm to test local algebraic observability in polynomial time
+Normal rank
@@ Property / cites work @@
+Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
+Normal rank
@@ Property / cites work @@
+Some Basic Theorems in Partial Differential Algebra
+Normal rank
@@ Property / cites work @@
+Q3851616
@@ Property / cites work: Q3851616 / rank @@
+Normal rank