New posts in alternative-proof

Identity concerning complete elliptic integrals

calculus alternative-proof elliptic-integrals

Theorem 15.2 of Munkres Topology

general-topology proof-writing solution-verification alternative-proof

Solving SAT by converting to disjunctive normal form

algorithms propositional-calculus alternative-proof np-complete satisfiability

Exercise 5, Section 13 of Munkres’ Topology

alternative-proof general-topology proof-writing solution-verification

Is there a much simpler proof for Euler factorial formula?

induction factorial alternative-proof

Prove $(x+r_1) \cdots (x+r_n) \geq (x+(r_1 \cdots r_n)^{1/n})^{n}$.

inequality alternative-proof products

Proof that $\frac{2}{3} < \log(2) < \frac{7}{10}$

inequality logarithms approximation alternative-proof pi

How to prove $\sum\limits_{n=1}^\infty\frac{\sin(n)}n=\frac{\pi-1}2$ using only real numbers.

real-analysis sequences-and-series alternative-proof pi

Easy proof, that $\rm e\notin \mathbb Q$

alternative-proof

Show that $\sum\limits_{n\ge1}\frac1{n^2}=\sum\limits_{n\ge1}\frac3{n^2\binom{2n}n}$ without actually evaluating both series

sequences-and-series alternative-proof

Hahn-Banach theorem: 2 versions

functional-analysis topological-vector-spaces alternative-proof

Integral $\int_0^\frac{\pi}{2} x^2\sqrt{\tan x}\,\mathrm dx$

integration definite-integrals closed-form alternative-proof

Axiom of Choice and Right Inverse

functions axiom-of-choice alternative-proof

Theorem 16.3 of Munkres Topology

general-topology proof-writing solution-verification alternative-proof

Is there a geometrical method to prove $x<\frac{\sin x +\tan x}{2}$?

calculus geometry trigonometry proof-writing alternative-proof

Proof that $e^{-x} \ge 1-x$

convergence-divergence alternative-proof

Verify matrix identity $A^tD-C^tB=I$ on certain hypotheses

linear-algebra alternative-proof

How to find $\operatorname{P.V.}\int_0^1 \frac{1}{x (1-x)}\arctan \left(\frac{8 x^2-4 x^3+14 x-8}{2 x^4-3 x^3-11 x^2+16 x+16}\right) \textrm{d}x$?

real-analysis calculus integration alternative-proof cauchy-principal-value

"Novel" proofs of "old" calculus theorems

calculus real-analysis reference-request big-list alternative-proof

$\log_2 13$ is irrational

elementary-number-theory logarithms alternative-proof rationality-testing