prove $EO=OF$ is there an euclidean solution?
131118
How to prove the midpoint of a chord is also the midpoint of the line segment defined by the points of intersection of other two chords with it?
95684
Show that $g'(x)+g(x)-2e^x=0$
2954
Extended Euclidean Algorithm in $GF(2^8)$?
157213
Application of Luca's theorem
13656
Prove existence of a real root.
109295
Proving $1-\exp(-4x^2/ \pi) \ge \text{erf}(x)^2$
128229
Proving that the transformation obtained from an adjoint pair is natural
103230
Find the general solution of $4u_{xx}+5u_{xy}+u_{yy}+u_x+u_y=2$
40930
Prove that $ex \leq e^x$ for all $x \in \mathbb{R}$
1932
How to show this equality of $\rho(X,Y)$
35313
Proof of Euclid's Lemma
120906
Is there a proof that $\pi \times e$ is irrational?
9003
prove $\frac{1}{2}\mathbf{\nabla (u \cdot u) = u \times (\nabla \times u ) + (u \cdot \nabla)u}$ using index notation
142922
How to prove that $e^x$ is convex?
108642
$e^A$, where $A= \begin{bmatrix} 0 & \omega \\ -\omega& 0 \end{bmatrix}$
131844
When does $(e^a)^b = e^{ab}$ hold?
71465
solution of $y' = \exp \left(-\frac yx\right) + \frac yx$