New posts in proof-verification

Ordering the field of real rational functions

Prove that the result of any nested composition of morphisms is independent of the placement of paranthesis.

Please verify my proof of: There is no integer $\geq2$ sum of squares of whose digits equal the integer itself.

Endomorphisms of forgetful functor $\mathbf{Grp}\to \mathbf{Set}$

How to prove "Homotopy is an Equivalence Relation"

Cannot find a mistake in an incorrect proof.

Why is $\int_{[0,1]} \frac{dw}{1-wz}$ is holomorphic in unit disc?

Prove for prime $p, \forall l \in \mathbb Z^+, a\equiv b\pmod {p}\nrightarrow a\equiv b\pmod {p^l}.$

Planar graphs where every face boundary is a cycle of even length are bipartite

How many functions are possible to create in this example?

Is my proof correct for: $\sqrt[7]{7!} < \sqrt[8]{8!}$

Prove that if $({x+\sqrt{x^2+1}})({y+\sqrt{y^2+1}})=1$ then $x+y=0$

A group of order $595$ has a normal Sylow 17-subgroup.

Proof of an inequality using analytic geometry

For $a>0$ and $x_0\ge a$ prove that the sequence defined as $x_{n+1}=(x_n+a/x_n)/2$ decreases and converges to $\sqrt a$

If $f$ continuous and $\lim_{x\to-\infty }f(x)=\lim_{x\to\infty }f(x)=+\infty $ then $f$ takes its minimum.

Why is this proof false? $\sqrt 2 + \sqrt 6 < \sqrt 15$

If $2x + 3y$ is multiple of $17$, then $9x + 5y$ is multiple of $17$

Events that carry negative information

Explicit proof of the derivative of a matrix logarithm