Lemmas

Computing portal

Here is a list of articles in the category Lemmas of the Computing portal that unifies foundations of mathematics and computations using computers. In mathematics, a lemma is an auxiliary theorem which is typically used as a stepping stone to prove a bigger theorem. See lemma for a more detailed explanation.

Subcategories

This category has only the following subcategory.

C

Covering lemmas‎ (9 P)

Pages in category "Lemmas"

The following 88 pages are in this category, out of 88 total.

*

A

Algorithmic Lovász local lemma

B

C

D

F

G

H

I

J

Johnson–Lindenstrauss lemma

K

L

M

N

O

P

Q

Quillen's lemma

R

S

T

Lemmas

Topic: Category

Subcategories

C

Pages in category "Lemmas"

*

A

B

C

D

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z