List questions from proof-verification

Published on 25 Mar 2026 - 16:06

589

Views

Checking the differentiability of the following function

Published on 01 Feb 2018 - 9:23

163

Views

Show that $\displaystyle \lim_{\varepsilon\rightarrow0}\int_{{\bf R}^{n}}{\widehat{f}(x)e^{-\pi|\varepsilon x|^{2}}}~dx=f(0)$

Published on 25 Mar 2026 - 1:18

174

Views

Use induction to show that a truth assignment on $\Gamma\cup\Lambda$ satisfies all theorem from $\Gamma$

Published on 23 Mar 2026 - 1:09

95

Views

Show that for each $k\in\Bbb{N}$, $\Bbb{N}_k$ is finite

Published on 25 Mar 2026 - 8:09

46

Views

prove that equation has only 1 solution

Published on 24 Mar 2026 - 19:00

1.4k

Views

If the limits at infinity of $f$ and $f'$ exist and are finite, then is $\lim_{x \rightarrow \infty} f'(x) = 0$?

Published on 25 Mar 2026 - 14:16

1k

Views

Finding all solutions to a trigonometric equation

Published on 01 Feb 2018 - 20:18

108

Views

What is the contradiction of the statement $\forall r\in\mathbb{R}\ (\mathit{irrational}(r^3)\Rightarrow \mathit{irrational}(r))$?

Published on 25 Mar 2026 - 10:34

125

Views

Is $\mathbb Z[x]/(x-2)\cong\mathbb Z$?

Published on 25 Mar 2026 - 15:30

169

Views

Proof of the Kuratowski Formalization

Published on 02 Feb 2018 - 1:06

54

Views

Complex analysis: prove that $ |\int_{\gamma} f(z) dz| \leq M \ell (\gamma) $

Published on 02 Feb 2018 - 1:13

1.1k

Views

Proof verification: For all $g\in G$, with $G$ being a group, $|a|=|g^{-1}ag|$.

Published on 20 Mar 2026 - 13:13

123

Views

Show that $f(x) = \sqrt{x}$ is continous at any $a > 0$

Published on 02 Feb 2018 - 5:56

44

Views

Prove divisibility in modular arithmetic

Published on 25 Mar 2026 - 4:53

List Question

Closed subspace of vector space

Checking the differentiability of the following function

Show that $\displaystyle \lim_{\varepsilon\rightarrow0}\int_{{\bf R}^{n}}{\widehat{f}(x)e^{-\pi|\varepsilon x|^{2}}}~dx=f(0)$

Use induction to show that a truth assignment on $\Gamma\cup\Lambda$ satisfies all theorem from $\Gamma$

Show that for each $k\in\Bbb{N}$, $\Bbb{N}_k$ is finite

prove that equation has only 1 solution

If the limits at infinity of $f$ and $f'$ exist and are finite, then is $\lim_{x \rightarrow \infty} f'(x) = 0$?

Finding all solutions to a trigonometric equation

What is the contradiction of the statement $\forall r\in\mathbb{R}\ (\mathit{irrational}(r^3)\Rightarrow \mathit{irrational}(r))$?

Is $\mathbb Z[x]/(x-2)\cong\mathbb Z$?

Proof of the Kuratowski Formalization

Complex analysis: prove that $ |\int_{\gamma} f(z) dz| \leq M \ell (\gamma) $

Proof verification: For all $g\in G$, with $G$ being a group, $|a|=|g^{-1}ag|$.

Show that $f(x) = \sqrt{x}$ is continous at any $a > 0$

Prove divisibility in modular arithmetic

Trending Questions

Popular # Hahtags

Popular Questions