List questions from proof-verification

Published on 10 May 2026 - 15:47

534

Views

Primary decomposition of $(x^2, xy, xz, yz)$ in $K[x, y, z]$

Published on 10 May 2026 - 17:02

67

Views

Deleting a point in a connected metric space with more than one point gives us a non-compact set.

Published on 13 Apr 2026 - 17:50

236

Views

finding maximum value of BVP

Published on 14 May 2026 - 7:14

36

Views

For any ordinal $\alpha,$ $0+\alpha=\alpha+0=\alpha.$

Published on 17 Apr 2026 - 10:02

1.9k

Views

Proving $f(x)=|x|$ is onto

Published on 14 Apr 2026 - 20:32

7.8k

Views

The orthogonal complement of the orthogonal complement from "Linear Algebra Done Right"

Published on 14 Apr 2026 - 18:13

166

Views

Proving $(A \cup B) \setminus (A \cap B) = (A \setminus B) \cup (B \setminus A)$

Published on 16 Apr 2026 - 0:46

88

Views

Set theory question regarding $A\overline{\sim} B = \{x+y : <x,y>\in A\times B\}$

Published on 13 Apr 2026 - 19:35

114

Views

Trigonometric residue integral

Published on 13 Apr 2026 - 10:29

260

Views

Linear convergence of simplified Newton-method proof

Published on 29 Apr 2026 - 20:54

73

Views

Proving the solution of a first order partial differential equation.

Published on 13 Apr 2026 - 0:37

149

Views

If $d|n-1$ and $d|n^2+2$ show $d|3$

Published on 15 Apr 2026 - 18:47

1.2k

Views

If X has a countable basis then uncountably many points of A are limit points of A

Published on 15 Apr 2026 - 6:20

118

Views

Under what conditions does $Y^0 \cong 1$? (Category theory)

Published on 15 Apr 2026 - 8:03

List Question

Consistency of a sentence in $S5$

Primary decomposition of $(x^2, xy, xz, yz)$ in $K[x, y, z]$

Deleting a point in a connected metric space with more than one point gives us a non-compact set.

finding maximum value of BVP

For any ordinal $\alpha,$ $0+\alpha=\alpha+0=\alpha.$

Proving $f(x)=|x|$ is onto

The orthogonal complement of the orthogonal complement from "Linear Algebra Done Right"

Proving $(A \cup B) \setminus (A \cap B) = (A \setminus B) \cup (B \setminus A)$

Set theory question regarding $A\overline{\sim} B = \{x+y : <x,y>\in A\times B\}$

Trigonometric residue integral

Linear convergence of simplified Newton-method proof

Proving the solution of a first order partial differential equation.

If $d|n-1$ and $d|n^2+2$ show $d|3$

If X has a countable basis then uncountably many points of A are limit points of A

Under what conditions does $Y^0 \cong 1$? (Category theory)

Trending Questions

Popular # Hahtags

Popular Questions