List questions from proof-writing

Published on 10 Apr 2026 - 23:20

292

Views

Symbol for "by the definition of"

Published on 11 Apr 2026 - 18:33

28

Views

Proof for $H < 1$ (bits) $\implies$ $p_i > 0.5$ for some $i$

Published on 13 Apr 2026 - 4:05

48

Views

Finding formula for generating function coefficient

Published on 09 Apr 2026 - 10:57

58

Views

Proof $C_h = \binom{2^h-2}{2^{h-1}-1} C_{h-1}^2$ can be written non-recursively as $C_h = \frac{(2^h-1)!}{\prod_{k=1}^h (2^k-1)^{2^{h-k}}}. $

Published on 15 Apr 2026 - 18:51

713

Views

"Let Ƭ consist of ∅, ℝ, and all intervals (−∞, p) for p ∈ ℝ. Prove that Ƭ is a topology on ℝ."

Published on 15 Apr 2026 - 6:48

44

Views

Need a logical proof of [(c>0) and (|a|<c)] implies [(-c<a) and (a<c)]

Published on 17 Apr 2026 - 5:15

102

Views

Kernel of an LTI system

Published on 01 May 2026 - 14:44

84

Views

Proving results on quadratic equations

Published on 13 Apr 2026 - 23:26

73

Views

ODE: $\dot{x}=f(t)x^2,x(0)=1$ solution on $\mathbb{R}\Leftrightarrow\int_{0}^{t}f(s)ds<1\forall t\in\mathbb{R}$

Published on 17 Apr 2026 - 2:36

1.8k

Views

To find hottest point on probe surface

Published on 12 Apr 2026 - 23:35

367

Views

Polish spaces are continuous images of the Baire space

Published on 29 Apr 2026 - 12:55

90

Views

Taking a natural number different from zero as a base case in an inductive proof

Published on 15 Apr 2026 - 9:30

29

Views

Find invalid values of $Y$

Published on 14 Apr 2026 - 14:35

91

Views

Number theory modulo problem

Published on 13 Apr 2026 - 21:09

List Question

Boundary Points and Metric space

Symbol for "by the definition of"

Proof for $H < 1$ (bits) $\implies$ $p_i > 0.5$ for some $i$

Finding formula for generating function coefficient

Proof $C_h = \binom{2^h-2}{2^{h-1}-1} C_{h-1}^2$ can be written non-recursively as $C_h = \frac{(2^h-1)!}{\prod_{k=1}^h (2^k-1)^{2^{h-k}}}. $

"Let Ƭ consist of ∅, ℝ, and all intervals (−∞, p) for p ∈ ℝ. Prove that Ƭ is a topology on ℝ."

Need a logical proof of [(c>0) and (|a|<c)] implies [(-c<a) and (a<c)]

Kernel of an LTI system

Proving results on quadratic equations

ODE: $\dot{x}=f(t)x^2,x(0)=1$ solution on $\mathbb{R}\Leftrightarrow\int_{0}^{t}f(s)ds<1\forall t\in\mathbb{R}$

To find hottest point on probe surface

Polish spaces are continuous images of the Baire space

Taking a natural number different from zero as a base case in an inductive proof

Find invalid values of $Y$

Number theory modulo problem

Trending Questions

Popular # Hahtags

Popular Questions