2 articles
Baker's theorem
Baker's theorem is a result in transcendental number theory giving explicit lower bounds for nonzero linear forms in logarithms of algebraic numbers, proved by Alan Baker in 1966.
Lindemann–Weierstrass theorem
The Lindemann–Weierstrass theorem is a result in transcendental number theory, proved by Karl Weierstrass in 1885, stating that exponentials of distinct algebraic numbers are linearly independent over the algebraic numbers.