List questions from proof-verification

Published on 05 Apr 2026 - 22:22

354

Views

How prove this integral $\int_0^1\frac{(\arctan{x})^2\ln({x+1/x+2})}{(1+x)^2}dx$

Published on 17 Aug 2018 - 13:07

48

Views

Application of forcing to first-order properties of rings

Published on 25 Mar 2026 - 3:03

170

Views

Structure theorem for closed set in R

Published on 02 Apr 2026 - 12:22

1.3k

Views

Two Alternate Proofs that $x \neq 0 \wedge xy = xz \implies y = z$.

Published on 17 Aug 2018 - 18:17

622

Views

Is there an orthonormal basis for $L^2([0,1])$ consisting of only even-degree polynomials?

Published on 25 Mar 2026 - 14:25

278

Views

Poisson process. Probability that next vehicle is a motorcycle.

Published on 05 Apr 2026 - 13:06

34

Views

Is it enough to just use induction?

Published on 18 Aug 2018 - 14:33

542

Views

How to do I solve the number of cases for which $ad - bc$ is equal to one and $ad$, $bc$ are not equal to $0$?

Published on 18 Aug 2018 - 15:16

104

Views

Proof of induction from higher starting point

Published on 25 Mar 2026 - 15:41

1.6k

Views

Derivative of inverse function proof verification

Published on 03 Apr 2026 - 22:34

284

Views

Writing this as a formal proof.

Published on 19 Aug 2018 - 3:47

1k

Views

Every Open connected set is path connected .

Published on 25 Mar 2026 - 16:05

456

Views

Prove the inequality Using Mean Value theorem

Published on 07 Apr 2026 - 12:45

81

Views

Prove that the following function is Riemann-integrable, directly from the definition.

Published on 26 Mar 2026 - 9:40

List Question

Show $|f(z)|=1$ is constant

How prove this integral $\int_0^1\frac{(\arctan{x})^2\ln({x+1/x+2})}{(1+x)^2}dx$

Application of forcing to first-order properties of rings

Structure theorem for closed set in R

Two Alternate Proofs that $x \neq 0 \wedge xy = xz \implies y = z$.

Is there an orthonormal basis for $L^2([0,1])$ consisting of only even-degree polynomials?

Poisson process. Probability that next vehicle is a motorcycle.

Is it enough to just use induction?

How to do I solve the number of cases for which $ad - bc$ is equal to one and $ad$, $bc$ are not equal to $0$?

Proof of induction from higher starting point

Derivative of inverse function proof verification

Writing this as a formal proof.

Every Open connected set is path connected .

Prove the inequality Using Mean Value theorem

Prove that the following function is Riemann-integrable, directly from the definition.

Trending Questions

Popular # Hahtags

Popular Questions