Proof of an algebraic statement
11895
If $AB=0$ prove that $\mathrm{rank}(A)+\mathrm{rank}(B)\leq n$
20346
'Algebraic' way to prove the boolean identity $a + \overline{a}*b = a + b$
111862
Proof for sequent (Logic)
148451
Polynomial inequality proof
8207
Can I prove this inequality algebraically?
25004
Proving $\binom{m}{n} + \binom{m}{n-1} = \binom{m+1}{n}$ algebraically
111122
Proof of a theorem in Hilbert's system
139288
Formal proof that $e^x$ is not algebraic
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
145447
bilinear form - proof
111515
Proving that $-a=(-1)\cdot a$
152311
Proving expression$\geq 2$, where variables are $x,y,z$
141496
Could someone make the proof into a hinted exercise?
76925
Algebraic proof that if $a>0$ then $1+a^9 \leq \frac{1}{a}+a^{10} $
138632
Proof that if $a > 0$, then $\frac{1}{a} > 0$ using just field and order axioms
65873
A proof for Atiyah-Macdonald Exercise I.21.iii
150738
Proof of $(A - B) - C = A - (B \cup C)$