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

@@ Property / author @@
+Chun-Ming Yuan
@@ Property / author: Chun-Ming Yuan / 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.1007/s11424-009-9192-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2063720260
@@ Property / OpenAlex ID: W2063720260 / rank @@
+Normal rank
@@ 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