A criterion for testing whether a difference ideal is prime (Q473046): Difference between revisions

@@ Property / cites work @@
+On the theories of triangular sets
@@ Property / cites work: On the theories of triangular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227290
@@ Property / cites work: Q4227290 / rank @@
+Normal rank
@@ Property / cites work @@
+Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
+Normal rank
@@ Property / cites work @@
+A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
+Normal rank
@@ Property / cites work @@
+Algebraic transformation of differential characteristic decompositions from one ranking to another
+Normal rank
@@ Property / cites work @@
+Factorization-free decomposition algorithms in differential algebra
+Normal rank
@@ Property / cites work @@
+Q4229400
@@ Property / cites work: Q4229400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic principles of mechanical theorem proving in elementary geometries
+Normal rank
@@ Property / cites work @@
+Q4713581
@@ Property / cites work: Q4713581 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Algebraic Difference Equations
@@ Property / cites work: Systems of Algebraic Difference Equations / rank @@
+Normal rank
@@ Property / cites work @@
+A characteristic set method for ordinary difference polynomial systems
+Normal rank
@@ Property / cites work @@
+Characteristic set method for differential-difference polynomial systems
+Normal rank
@@ Property / cites work @@
+Resolvent systems of difference polynomial ideals
@@ Property / cites work: Resolvent systems of difference polynomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+A Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering
+Normal rank