Prove: $\nabla_A \text{tr}\left(ABA^TC\right) = CAB + C^TAB^T$
71437
How is the derivative of $\textrm{Trace}\left\{ X^T A X B\right\}$ with respect to $X$ equal to $AXB + A^TXB^T$?
46825
The identity det(A) = exp(Tr(ln(A)) for A general
36090
$TT^*=T^2$, show that $T$ is self-adjoint
151038
How to prove (A v B), (A → C), (B → D) therefore (C v D)
55377
Non-zero eigenvalues of $AA^T$ and $A^TA$
21807
on proving bac-cab rule, $\vec{A} \times ( \vec{B} \times \vec{C})= \vec{B} (\vec{A} \cdot\vec{C})- \vec{C}(\vec{A}\cdot\vec{B})$
47829
Prove that $\operatorname{trace}(A^TA) = 0\ \iff\ A = 0$.
2455
Prove that $\left(\sum^n_{k=1}x_k\right)\left(\sum^n_{k=1}y_k\right)\geq n^2$
50417
Prove that the triangles $ABC$ and $AB^{'}C^{'}$ have the same incentre.
131609
Prove that $Au\cdot v = u\cdot A^Tv$
2315
How to prove that $\lVert x + y\rVert = \lVert x\rVert + \lVert y \rVert \implies \lVert tx + (1-t)y\rVert = t\lVert x\rVert + (1-t)\lVert y \rVert$?
52642
Show that $\text{C}/c \cong (c/(\text{C}^{\text{op}}))^{\text{op}}$
15300
How to show that $(W^\bot)^\bot=W$ (in a finite dimensional vector space)
69673
Prove that $\left (\frac{a^2 + b^2 +c^2}{a+b+c} \right) ^ {(a+b+c)} > a^a b^b c^c$
67483
Show that $|a-b|<\epsilon \Rightarrow |a|<|b|+\epsilon$
54266
Prove that $\int_a^b \left( \int_c^d f(x,y)dy\right) dx=\int_c^d \left( \int_a^b f(x,y)dx\right) dy$
114524
Proof Verification: the orthogonal complement of the column space is the left nullspace