List questions from proof-verification

Published on 26 Mar 2026 - 20:36

141

Views

Replace all variables in $Γ$ and $φ$ such that given $Γ\vdash φ$ we can derive $Γ'\vdashφ'$

Published on 26 Mar 2026 - 20:40

1k

Views

Proof Verification: $x\sin(1/x)$ is continuous on $(0,1)$

Published on 25 Mar 2026 - 9:47

451

Views

Baire category theorem and lower semicontinuous functions

Published on 25 Mar 2026 - 20:41

66

Views

$V$ is finite dimensional if and only if all linear operators $T\colon V \rightarrow \mathbb{K}$ are continuous.

Published on 29 Mar 2026 - 10:18

965

Views

Prove that closed interval is not open

Published on 29 Apr 2018 - 13:12

156

Views

An unbounded sequence in a normed linear space

Published on 29 Apr 2018 - 14:20

101

Views

Show that the following is a solution to the pde

Published on 25 Mar 2026 - 15:09

153

Views

Outcomes of Two Experiments

Published on 29 Apr 2018 - 21:06

602

Views

All prime factors of $a^2+b^2$ can be written as the sum of squares or have even multiplicity.

Published on 29 Apr 2018 - 22:41

215

Views

$\{\frac{\log n}{n^r}\}$ is bounded for positive rational $r$.

Published on 30 Apr 2018 - 4:23

30

Views

About symmetric conditions and $XX'|_a^b\le0$

Published on 26 Mar 2026 - 7:30

249

Views

How many functions $f: B\to B$ map even numbers to even numbers?

Published on 30 Apr 2018 - 8:05

62

Views

Where can I read the rules on the algabraic manipulation needed to finish this inductive proof that $133$ divides $11^{k+1}+12^{2k-1}$?

Published on 25 Mar 2026 - 14:46

841

Views

Verify my proof of divisibility of a rational fraction

Published on 25 Mar 2026 - 11:04

List Question

Proof by induction. Two matrices are equal.

Replace all variables in $Γ$ and $φ$ such that given $Γ\vdash φ$ we can derive $Γ'\vdashφ'$

Proof Verification: $x\sin(1/x)$ is continuous on $(0,1)$

Baire category theorem and lower semicontinuous functions

$V$ is finite dimensional if and only if all linear operators $T\colon V \rightarrow \mathbb{K}$ are continuous.

Prove that closed interval is not open

An unbounded sequence in a normed linear space

Show that the following is a solution to the pde

Outcomes of Two Experiments

All prime factors of $a^2+b^2$ can be written as the sum of squares or have even multiplicity.

$\{\frac{\log n}{n^r}\}$ is bounded for positive rational $r$.

About symmetric conditions and $XX'|_a^b\le0$

How many functions $f: B\to B$ map even numbers to even numbers?

Where can I read the rules on the algabraic manipulation needed to finish this inductive proof that $133$ divides $11^{k+1}+12^{2k-1}$?

Verify my proof of divisibility of a rational fraction

Trending Questions

Popular # Hahtags

Popular Questions