List questions from proof-verification

Published on 25 Mar 2026 - 11:12

685

Views

Induction on cartesian products of well-ordered sets (varying cardinality)

Published on 25 Mar 2026 - 9:49

748

Views

Describing automorphisms of a punctured unit disc

Published on 14 Feb 2018 - 9:10

48

Views

Query Regarding Roots of Discriminant

Published on 22 Mar 2026 - 20:46

50

Views

$\mathcal{A}:= \{\bigcap \mathcal{E}\mid \mathcal{E} \subseteq \mathcal{B}, |\mathcal{E}| \in \mathbb{N}\}$ is a basis

Published on 14 Feb 2018 - 15:29

1k

Views

Number of Possible Distinct eigenvalues of $T$ when $\dim\operatorname{range}T = k$.

Published on 26 Mar 2026 - 16:06

103

Views

Prove "$ \lim_{n\to\infty}\|x_n\|_1 =0 \iff \lim_{n\to\infty}\|x_n\|_2 =0$" $\implies \|\cdot\|_1$ equivalent to $\|\cdot\|_2$

Published on 26 Mar 2026 - 16:56

727

Views

Verification of proof : Show that if $\phi (x,y)$ is harmonic, then $\phi_{x} - i\phi_{y}$ is analytic

Published on 25 Mar 2026 - 2:03

35

Views

Real Variable, Complex Integral $\int_{o}^{\pi} ie^{3it}\,dt$

Published on 25 Mar 2026 - 6:19

876

Views

Proof of Burnside's theorem

Published on 25 Mar 2026 - 6:08

379

Views

Length is a Pre-Measure on the Semi-Ring of Bounded Half-Open Real Intervals

Published on 25 Mar 2026 - 3:02

272

Views

Proof Verification of Multiplicative Group of $(Z_n,+,\times)$

Published on 25 Mar 2026 - 18:57

88

Views

Concerning the product of two radical matrices.

Published on 15 Feb 2018 - 12:34

117

Views

Prove for prime $p, \forall l \in \mathbb Z^+, a\equiv b\pmod {p}\nrightarrow a\equiv b\pmod {p^l}.$

Published on 15 Feb 2018 - 14:04

1.8k

Views

(Proof verification) f, g continuous, agree on a dense subset, implies agree on the whole set

Published on 15 Feb 2018 - 15:08

List Question

The order of quantifiers

Induction on cartesian products of well-ordered sets (varying cardinality)

Describing automorphisms of a punctured unit disc

Query Regarding Roots of Discriminant

$\mathcal{A}:= \{\bigcap \mathcal{E}\mid \mathcal{E} \subseteq \mathcal{B}, |\mathcal{E}| \in \mathbb{N}\}$ is a basis

Number of Possible Distinct eigenvalues of $T$ when $\dim\operatorname{range}T = k$.

Prove "$ \lim_{n\to\infty}\|x_n\|_1 =0 \iff \lim_{n\to\infty}\|x_n\|_2 =0$" $\implies \|\cdot\|_1$ equivalent to $\|\cdot\|_2$

Verification of proof : Show that if $\phi (x,y)$ is harmonic, then $\phi_{x} - i\phi_{y}$ is analytic

Real Variable, Complex Integral $\int_{o}^{\pi} ie^{3it}\,dt$

Proof of Burnside's theorem

Length is a Pre-Measure on the Semi-Ring of Bounded Half-Open Real Intervals

Proof Verification of Multiplicative Group of $(Z_n,+,\times)$

Concerning the product of two radical matrices.

Prove for prime $p, \forall l \in \mathbb Z^+, a\equiv b\pmod {p}\nrightarrow a\equiv b\pmod {p^l}.$

(Proof verification) f, g continuous, agree on a dense subset, implies agree on the whole set

Trending Questions

Popular # Hahtags

Popular Questions