Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Proof Verification
Find all matrices $A\in \mathbb{R}^{2\times2}$ such that $A^2=\bf{0}$
May 07, 2021
Prove $\lim_{x\to 0} f(x)$ exists $\implies\lim_{x\to 0} f(x^2)$ exists
May 07, 2021
Every infinite group has a non-trivial subgroup
May 07, 2021
$\sqrt{2} +\sqrt[3]{2}$ is irrational
May 07, 2021
If $A$ is $4\times2$ and $B$ is $2\times4$, prove that $AB$ is not invertible
May 07, 2021
Prove the Rational Limit Theorem.
May 07, 2021
Prove $\forall n\ge0,43\mid 6^{n+2}+7^{2n+1}$ in three ways
May 07, 2021
Let $X$ and $Y$ be metric spaces, $X$ compact, and $T: X \to Y$ bijective and continuous. Show that $T$ is a homeomorphism.
May 07, 2021
Prove that $\exists c>0$ s.t $\sum_{n\geq x}\frac{1}{n^2}\leq \frac{c}{x}$
May 07, 2021
Is the composite of two simple radical extensions another simple radical extension?
May 07, 2021
« Newer Entries
Older Entries »