Uniformly generated submodules of permutation modules over fields of characteristic 0. (Q5939910): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of the modulo <i>p</i> counting principles
+Normal rank
@@ Property / cites work @@
+Q4850543
@@ Property / cites work: Q4850543 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
+Normal rank
@@ Property / cites work @@
+Bounds for the degrees in the Nullstellensatz
@@ Property / cites work: Bounds for the degrees in the Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+The representation theory of the symmetric groups
@@ Property / cites work: The representation theory of the symmetric groups / rank @@
+Normal rank
@@ Property / cites work @@
+\(\text{Count}(q)\) does not imply \(\text{Count}(p)\)
+Normal rank
@@ Property / cites work @@
+Count\((q)\) versus the pigeon-hole principle
@@ Property / cites work: Count\((q)\) versus the pigeon-hole principle / rank @@
+Normal rank
@@ Property / cites work @@
+Generating hard tautologies using predicate logic and the symmetric group
+Normal rank
@@ Property / cites work @@
+Uniformly generated submodules of permutation modules over fields of characteristic 0.
+Normal rank
@@ Property / cites work @@
+Mathematical problems for the next century
@@ Property / cites work: Mathematical problems for the next century / rank @@
+Normal rank