List questions from proof-verification

Published on 24 Apr 2018 - 3:34

247

Views

Proof verification that the midpoint of a linear equation is the average

Published on 25 Mar 2026 - 19:03

155

Views

Prove that no function $f: \mathbb{N} \to (0,1)$ is surjective.

Published on 24 Apr 2018 - 6:53

209

Views

Finding a basis $\beta$ to yield a diagonal matrix for a projection $T:V\to V$ on $W$ along $W'$

Published on 29 Mar 2026 - 8:20

211

Views

Top-down proof of a lemma used in Schröder-Bernstein theorem

Published on 24 Apr 2018 - 8:46

73

Views

Proof of L'Hospital's Rule

Published on 24 Apr 2018 - 9:03

58

Views

To show $(n,n+1)=1$ for all $n>0$

Published on 25 Mar 2026 - 14:23

95

Views

Bottom-up proof of a lemma used to prove Bernstein-Schröder theorem

Published on 24 Apr 2018 - 10:06

902

Views

Proof verification: irreducible elements and associates in an integral domain

Published on 28 Mar 2026 - 9:45

174

Views

Suppose that $Z \subseteq Y \subseteq X$ and that $f:X \to Z$ is bijective. Then $A$ is the minimal element of $\mathcal{F}$

Published on 24 Apr 2018 - 13:12

927

Views

Hitting time of Brownian motion against a square root curve

Published on 25 Mar 2026 - 1:37

106

Views

Cauchy sequence Convergence on real numbers

Published on 25 Mar 2026 - 4:36

504

Views

A general formula for the second degree derivative?

Published on 24 Apr 2018 - 19:39

408

Views

Understanding Analysis (Abbott) Lemma 1.3.7; is my proof correct?

Published on 24 Apr 2018 - 20:46

2.4k

Views

A closed bounded set contains its supremum

Published on 25 Mar 2026 - 20:06

List Question

Prove the convergence of $\int_1^{\infty} x^{-x}\,dx$

Proof verification that the midpoint of a linear equation is the average

Prove that no function $f: \mathbb{N} \to (0,1)$ is surjective.

Finding a basis $\beta$ to yield a diagonal matrix for a projection $T:V\to V$ on $W$ along $W'$

Top-down proof of a lemma used in Schröder-Bernstein theorem

Proof of L'Hospital's Rule

To show $(n,n+1)=1$ for all $n>0$

Bottom-up proof of a lemma used to prove Bernstein-Schröder theorem

Proof verification: irreducible elements and associates in an integral domain

Suppose that $Z \subseteq Y \subseteq X$ and that $f:X \to Z$ is bijective. Then $A$ is the minimal element of $\mathcal{F}$

Hitting time of Brownian motion against a square root curve

Cauchy sequence Convergence on real numbers

A general formula for the second degree derivative?

Understanding Analysis (Abbott) Lemma 1.3.7; is my proof correct?

A closed bounded set contains its supremum

Trending Questions

Popular # Hahtags

Popular Questions