List questions from proof-verification

Published on 10 Apr 2026 - 7:41

1.6k

Views

Does this prove the Squeeze Theorem?

Published on 11 Apr 2026 - 10:35

1k

Views

prove that hyperbolic cone is affine set (check my solution)

Published on 10 Apr 2026 - 16:07

2.1k

Views

Proof convergence of vectors

Published on 12 Apr 2026 - 3:08

217

Views

Let $B=\{[a,b)\subset\Bbb R\mid a,b\in\Bbb Q\text{ and }a<b\}$ Show that $B$ is basis for topology on $\Bbb R$

Published on 09 Oct 2018 - 11:40

104

Views

Formalization/Verification of a beginner combinatorics problem

Published on 11 Apr 2026 - 8:47

219

Views

Is $(X^2+1,Y^2-2)\subset\mathbb{Q}[X,Y]$ a prime ideal? Is it maximal?

Published on 28 Mar 2026 - 10:04

2.3k

Views

Why is complete strong induction a valid proof method and not need to explicitly proof the base cases?

Published on 29 Mar 2026 - 2:34

39

Views

Show that $\frac{||x-x^||}{||{x}||} \leq k(A) \frac{||r||}{||b||}$ where $k(A)$ is the condition number of $A$ and $r=b-Ax^$ is the residual vector

Published on 09 Oct 2018 - 15:55

56

Views

Question on group actions

Published on 25 Mar 2026 - 18:52

931

Views

Where does this derivation of the Fourier Series for csc(x) go wrong?

Published on 25 Mar 2026 - 14:26

1.5k

Views

Proof that Cardinality of Primes is Cardinality of Natural Numbers

Published on 12 Apr 2026 - 3:10

117

Views

Proving $7|13\cdot 6^{n}+8\cdot 13^{n}$ for all natural numbers.

Published on 26 Mar 2026 - 14:22

64

Views

Extremally disconnected space and separating function

Published on 12 Apr 2026 - 10:40

51

Views

Is this proof of irrationality?

Published on 11 Apr 2026 - 10:57

List Question

Short proof verification using inheritance principle.

Does this prove the Squeeze Theorem?

prove that hyperbolic cone is affine set (check my solution)

Proof convergence of vectors

Let $B=\{[a,b)\subset\Bbb R\mid a,b\in\Bbb Q\text{ and }a<b\}$ Show that $B$ is basis for topology on $\Bbb R$

Formalization/Verification of a beginner combinatorics problem

Is $(X^2+1,Y^2-2)\subset\mathbb{Q}[X,Y]$ a prime ideal? Is it maximal?

Why is complete strong induction a valid proof method and not need to explicitly proof the base cases?

Show that $\frac{||x-x^||}{||{x}||} \leq k(A) \frac{||r||}{||b||}$ where $k(A)$ is the condition number of $A$ and $r=b-Ax^$ is the residual vector

Question on group actions

Where does this derivation of the Fourier Series for csc(x) go wrong?

Proof that Cardinality of Primes is Cardinality of Natural Numbers

Proving $7|13\cdot 6^{n}+8\cdot 13^{n}$ for all natural numbers.

Extremally disconnected space and separating function

Is this proof of irrationality?

Trending Questions

Popular # Hahtags

Popular Questions