New posts in proof-verification

Compute the (multiplicative) inverse of $4x+3$ in the field $\frac {\Bbb F_{11}[x]}{\langle x^2+1 \rangle}$?

If the sum of eigenvectors is an eigenvector, then they all correspond to the same eigenvalue

Prove that a non-abelian group of order $pq$ ($p<q$) has a nonnormal subgroup of index $q$

Uniform Convergence verification for Sequence of functions - NBHM

Checking if $\langle 2 \rangle$ is a maximal ideal in $\mathbb{Z}[i]$

Let $a_n>0$ be bounded and: $\displaystyle\limsup_{n\to\infty}\frac 1 {a_n}=\frac 1 {\displaystyle\liminf_{n\to\infty}a_n}$ [duplicate]

Pascal's Triangle and Binary Representations

Wieferich's criterion for Fermat's Last Theorem

Is this a sound demonstration of Euler's identity?

Integral $\int_0^1 \frac{\log^4(x)}{(1-x)^4}dx$

Proof that a set $C$ is convex $\iff$ its intersection with any line is convex

Non-trivial natural endomorphisms on $\operatorname{Top}$

Verify Elementary Number Theory Proof (Romanian Olympiad)

On a proof of Riesz-Fischer Theorem

Relax Egoroff's Theorem to pointwise convergence a.e. and bounded a.e. pointwise limit

Solving: $3^m-2=n^2$

Planar graphs with $n \geq 2$ vertices have at least two vertices whose degree is at most 5

Homotopy equivalence upper triangular matrices and torus

Understanding the proof of "$\sqrt{2}$ is irrational" by contradiction.

Attempted proof of an open mapping theorem for Lie groups