List questions from proof-verification

Published on 25 Mar 2026 - 16:02

720

Views

For an Artinian ring semiprimitive implies semisimple.

Published on 09 Apr 2026 - 6:04

192

Views

Derivative of an autonomous system of ODEs

Published on 13 Apr 2026 - 18:47

100

Views

Why does my book give a few extra solutions?

Published on 13 Apr 2026 - 9:07

298

Views

Order properties of the empty relation on the empty set, and a related question

Published on 15 Apr 2026 - 13:25

85

Views

A small gap in Emil Artin's "Galois Theory".

Published on 13 Apr 2026 - 22:08

158

Views

If $f$ is the quotient mapping, is $(Y,\tau_1)$ metrizable?

Published on 13 Apr 2026 - 2:11

116

Views

A question on the completeness of $(C[a,b], \sup)$ where $[a,b] \subset \mathbb{R}$

Published on 14 Apr 2026 - 0:14

57

Views

For a convergent sequence $\limsup b_n = \lim b_n$

Published on 16 Apr 2026 - 2:47

580

Views

Computing the stable manifold for a fixed point

Published on 14 Apr 2026 - 9:45

99

Views

Give a proof or a counter-example. A function f is analytic in an open set implies f being bounded there.

Published on 28 Apr 2026 - 20:20

73

Views

Question about proof regarding span

Published on 10 Apr 2026 - 6:18

153

Views

On the convergence of a two-sided series

Published on 14 Apr 2026 - 19:13

2.9k

Views

Is $V$ isomorphic to direct sum of subspace $U$ and $V/U$?

Published on 25 Mar 2026 - 5:02

74

Views

Prove that $\forall x,y,z \in \Bbb R^+:(x\cdot y)\cdot z = x\cdot (y\cdot z)$

Published on 16 Apr 2026 - 10:04

List Question

Prove that $n^2$ is even if and only if $n$ is even

For an Artinian ring semiprimitive implies semisimple.

Derivative of an autonomous system of ODEs

Why does my book give a few extra solutions?

Order properties of the empty relation on the empty set, and a related question

A small gap in Emil Artin's "Galois Theory".

If $f$ is the quotient mapping, is $(Y,\tau_1)$ metrizable?

A question on the completeness of $(C[a,b], \sup)$ where $[a,b] \subset \mathbb{R}$

For a convergent sequence $\limsup b_n = \lim b_n$

Computing the stable manifold for a fixed point

Give a proof or a counter-example. A function f is analytic in an open set implies f being bounded there.

Question about proof regarding span

On the convergence of a two-sided series

Is $V$ isomorphic to direct sum of subspace $U$ and $V/U$?

Prove that $\forall x,y,z \in \Bbb R^+:(x\cdot y)\cdot z = x\cdot (y\cdot z)$

Trending Questions

Popular # Hahtags

Popular Questions