user avatar
user avatar
user avatar
Snowball
  • Member for 10 years, 4 months
  • Last seen more than a week ago
20 votes
5 answers
2k views

Has error correction been "solved"?

15 votes
2 answers
8k views

Kernel of composition of linear transformations

14 votes
5 answers
2k views

What does $\binom{-n}{k}$ mean?

12 votes
3 answers
2k views

Is there a $(6,9,3)_2$ code?

10 votes
3 answers
315 views

Measure of how much information is lost in an implication

7 votes
1 answer
157 views

Generating function for $r^\binom{n}{2}$

7 votes
2 answers
3k views

Curry-Howard correspondence

7 votes
1 answer
1k views

Inner product for vector space over arbitrary field

6 votes
4 answers
6k views

Group theory proof of Euler's theorem ($a^{\phi(m)} \equiv 1\mbox{ }(\mbox{mod }m)$ if $\gcd(a,m)=1$)

5 votes
1 answer
156 views

Convergence of a sequence of partial binomial sums

5 votes
2 answers
1k views

Algorithm to multiply nimbers

4 votes
2 answers
385 views

Standard definition of group isomorphism

4 votes
4 answers
427 views

Name that theorem: $G/\ker(\phi) \cong \bar{G}$ for epimorphism $\phi : G \to \bar{G}$

3 votes
4 answers
1k views

Showing $(NM)/M \cong N/(N\cap M)$ for $N,M \triangleleft G$

3 votes
1 answer
155 views

Notation: graphs representing relations between fields

2 votes
3 answers
125 views

Showing $a\perp b$ and $n\ne 0$ implies $a+bk\perp n$ for some $k$

2 votes
1 answer
41 views

Finding $w_1,w_2,b$ such that $w_2 \sigma(w_1 x + b) \approx x$

1 vote
1 answer
430 views

'Union' of maps

1 vote
1 answer
466 views

What's this graph? (8 vertices, 16 edges)

0 votes
1 answer
94 views

Notation for permutation corresponding to the action of a group element

0 votes
1 answer
68 views

Leaving out the indeterminate in an integral

0 votes
2 answers
422 views

Surjection from real numbers to complex numbers

0 votes
1 answer
162 views

Tuple(?) with square brackets

0 votes
1 answer
189 views

Conditional entropy of repetition code over BSC