On primary ideals. I (Q2119550): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2478/forma-2021-0010
+Normal rank
@@ Property / OpenAlex ID @@
+W4206224191
@@ Property / OpenAlex ID: W4206224191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563439
@@ Property / cites work: Q5563439 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+Normal rank
@@ Property / cites work @@
+The first isomorphism theorem and other properties of rings
+Normal rank
@@ Property / cites work @@
+On roots of polynomials over \(F[X]/<p>\)
@@ Property / cites work: On roots of polynomials over \(F[X]/<p>\) / rank @@
+Normal rank
@@ Property / cites work @@
+Zariski topology
@@ Property / cites work: Zariski topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071851
@@ Property / cites work: Q4071851 / rank @@
+Normal rank