Aproximation (Proof)
4813
On finding polynomials that approximate a function and its derivative (extensions of Stone-Weierstrass?)
113305
Proof using Prüfer encoding
73807
Prove positive definiteness
33526
How to prove this beautiful statement on linear forms using induction?
57215
Stuck on formal proofs. Not sure how to continue
103347
combinatorial proof of summation
145447
bilinear form - proof
142168
can we a prove ⊢ (α → α) → (α → α)
134
Prove that the expression is a perfect square
104258
Proof Verification: $\dim\mathrm{Im} T+\dim\ker T=\dim V$
91684
Prove the following equation(much needed help):
108596
Proof by induction for "sum-of"
106799
Proof Verification: Converse of Intermediate Value Theorem
125263
How to crack the proof
33030
Proof that $\inf A = -\sup(-A)$
20581
How to show that $\Gamma\vdash (\varphi\to\neg\varphi)\to\varphi$?
17212
The preimage of a subset